Počet záznamů: 1
Reasoning about Computational Agents in FOL
- 1.0345160 - ÚI 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Neruda, Roman
Reasoning about Computational Agents in FOL.
Proceedings of the Third International Conference on Modelling and Simulation. Mill Lane: World Academic Union, 2010 - (Yiang, Y.; Yu, J.), s. 1-6. Modelling and Simulation. ISBN 978-1-84626-155-8.
[ICMS 2010. International Conference on Modelling and Simulation /3./. Wuxi (CN), 04.06.2010-06.06.2010]
Grant CEP: GA MŠMT OC10047
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: ontology * multi agent systems * first order logics
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0186490
Počet záznamů: 1