Počet záznamů: 1
Formal Reasoning in the Bang3 Multi-Agent System
- 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/0125221
Název souboru Staženo Velikost Komentář Verze Přístup v889-03.pdf 6 162.7 KB Jiná povolen
Počet záznamů: 1