Počet záznamů: 1

Reasoning about Computational Agents in FOL

SYSNO	0345160
Název	Reasoning about Computational Agents in FOL
Tvůrce(i)	Neruda, Roman (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Proceedings of the Third International Conference on Modelling and Simulation. S. 1-6. - Mill Lane : World Academic Union, 2010 / Yiang Y. ; Yu J.
Konference	ICMS 2010. International Conference on Modelling and Simulation /3./, Wuxi, 04.06.2010-06.06.2010
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	OC10047 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	ontology * multi agent systems * first order logics
Trvalý link	http://hdl.handle.net/11104/0186490

Počet záznamů: 1