Number of the records: 1
Formal Reasoning in the Bang3 Multi-Agent System
- 1.0405001 - UIVT-O 20030055 CZ eng V - Research Report
Beuster, Gerd
Formal Reasoning in the Bang3 Multi-Agent System.
Prague: ICS AS CR, 2003. 16 s. Technical Report, V-889.
Institutional research plan: AV0Z1030915
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