Počet záznamů: 1
Reasoning about Bang3 Multi-agent Systems in KR-Hyper
- 1.0087811 - ÚI 2008 SIGLE CZ eng V - Výzkumná zpráva
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.
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: MAS * bang * KR-HYPER * logic * deduction * description logics * first order logics * agents
Trvalý link: http://hdl.handle.net/11104/0149556
Název souboru Staženo Velikost Komentář Verze Přístup v955-06.pdf 15 196.2 KB Jiná povolen
Počet záznamů: 1