Author:
Benerecetti Massimo,Giunchiglia Fausto,Serafini Luciano
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. M. E. Bratman. Intention, plan and practical reason. Harvard University Press, 1990.
2. E. Clarke, O. Grumberg, and D. Long. Model Checking. In Deductive Program Design (Manfred Broy, ed.), NATO ASI Series, Springer-Verlag (1995), pages 305–349. Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany (1994).
3. Lecture Notes in Artificial Intelligence;J. Engelfriet,1999
4. FIPA Foundation for Intelligent Physical Agents. Fipa’ 97 draft specification, 1997. Revision 2.0 available at http://drogo.cselt.stet.it/fipa/ .
5. E. Giunchiglia and F. Giunchiglia. Ideal and Real Belief about Belief. In Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR’96, number 1085 in Lecture Notes in Artificial Intelligence, pages 261–275. Springer Verlag, 1996.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献