Model checking multiagent systems

Journal of Logic and Computation

Volumn 8, Issue 3, 1998, Pages 401-423

  Benerecetti, Massimo ^a   Giunchiglia, Fausto ^a,b   Serafini, Luciano ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS;

MODEL CHECKING; MULTIAGENT SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0032090062     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/8.3.401     Document Type: Article

References (15)

1. M. B. Bratman. Intention, plan and practical reason. Harvard University Press, 1990.
2. E. Clarke, O. Grumberg, and D. Long. Model Checking. In Proceedings of the International Summer School on Deductive Program Design, Marktoberdorf, Germany, 1994.
3. FIPA Foundation for Intelligent Physical Agents. Fipa '97 draft specification, 1997. Revision 2.0 available at http://drogo.cselt.stet.it/fipa/.
4. E. Giunchiglia and F. Giunchiglia. Ideal and Real Belief about Belief. In Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR'96, Vol. 1085 in Lecture Notes in Artificial Intelligence, pages 261-275. Springer Verlag, 1996.
5. F. Giunchiglia and C. Gludini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Technical Report 9701-07, IRST, Trento, Italy, February 1997. To appear in the proceedings of the AAAI Fall 1997 symposium on context in KR and NL.
6. F. Giunchiglia and R. Sebastiani. Building decision procedures for modal logics from propositional decision procedures - the case study of modal K. In Proc. of the 13th Conference on Automated Deduction, Vol. 1104 in Lecture Notes in Artificial Intelligence, New Brunswick, NJ, USA, August 1996. Springer Verlag. Also DIST-Technical Report 96-0037 and IRST-Technical Report 9601-02.
7. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29-70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
8. O. Grumberg, editor. Proceedings of the 9th International Conference on Computer-Aided Verification, CAV'97, Haifa, Israel, 1997. Springer.
9. G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
10. N. R. Jennings. Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence, 75, 195-240, 1995.
11. K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publ., 1993.
12. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the 2nd International Conference on Principle of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, 1991.
13. A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 318-324, Chambéry, France, 1993.
14. A. S. Rao and M. P. Georgeff. Formal models and decision procedures for multi-agent systems. Technical Note 61, Australian AI Institute, Level 6, 171 La Trobe Street, Melbourne, Australia, June 1995.
15. M. Wooldridge and M. Fisher. A decision procedure for a temporal belief logic. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic - Proceedings of the First International Conference (LNAI Volume 827), pages 317-331. Springer-Verlag: Heidelberg, Germany, July 1994.