Reasoning about Computational Agents in FOL

Neruda Roman



Název
Reasoning about Computational Agents in FOL
Autor
lupa Neruda Roman UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa Proceedings of the Third International Conference on Modelling and Simulation. S. 1-6. - Mill Lane : World Academic Union, 2010 / Yiang Y. ; Yu J.
Vyd.údaje
6 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
ontology * multi agent systems * first order logics
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0186490