Number of the records: 1
Formal Reasoning in the Bang3 Multi-Agent System
- 1.
SYSNO 0405001 Title Formal Reasoning in the Bang3 Multi-Agent System Author(s) Beuster, Gerd (UIVT-O) Issue data Prague: ICS AS CR, 2003 Edition Technical Report , V-889 Document Type Výzkumná zpráva CEZ 1030915 Language eng Country CZ Keywords MAS * bang * logic * deduction * description logics * agents Permanent Link http://hdl.handle.net/11104/0125221 File Download Size Commentary Version Access v889-03.pdf 6 162.7 KB Other open-access
Number of the records: 1