Výsledky vyhledávání
- 1.0405001 - UIVT-O 20030055 CZ eng V - Výzkumná zpráva
Beuster, Gerd
Formal Reasoning in the Bang3 Multi-Agent System.
Prague: ICS AS CR, 2003. 16 s. Technical Report, V-889.
Výzkumný záměr: AV0Z1030915
Klíčová slova: MAS * bang * logic * deduction * description logics * agents
Trvalý link: http://hdl.handle.net/11104/0125221Název souboru Staženo Velikost Komentář Verze Přístup v889-03.pdf 6 162.7 KB Jiná povolen - 2.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/0149556Název souboru Staženo Velikost Komentář Verze Přístup v955-06.pdf 15 196.2 KB Jiná povolen