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
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