Number of the records: 1
Reasoning about Bang3 Multi-agent Systems in KR-Hyper
- 1.0087811 - ÚI 2008 SIGLE CZ eng V - Research Report
Beuster, G. - Neruda, Roman - Pelzer, B.
Reasoning about Bang3 Multi-agent Systems in KR-Hyper.
Prague: ICS AS CR, 2006. 23 s. Technical Report, V-955.
Institutional research plan: CEZ:AV0Z10300504
Keywords : MAS * bang * KR-HYPER * logic * deduction * description logics * first order logics * agents
Permanent Link: http://hdl.handle.net/11104/0149556
File Download Size Commentary Version Access v955-06.pdf 15 196.2 KB Other open-access
Number of the records: 1