References
A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57–64, 1995. Presented at Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996. URL: ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9412-09.ps.Z
A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization. In P. Brezillon and S. Abu-Hakima, editors, Proc. of the IJCAI-95 Workshop on “Modelling Context in Knowledge Representation and Reasoning”, pages 35–45, 1995. URL: ftp: //ftp.mrg.dist.unige.it/pub/mrg-ftp/9506-02.ps.Z
A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, number 890 in Lecture Notes in Computer Science, pages 71–85. Springer Verlag, 1995. URL: ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9312-01.ps.Z
L. G. Creary. Propositional Attitudes: Fregean representation and simulative reasoning. In Proc. of the 6th International Joint Conference on Artificial Intelligence, pages 176–181, 1979.
F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993. Short version in Proceedings IJCAI93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39–49.
F. Giunchiglia. GETFOL Manual — GETFOL version 2.0. Technical Report 92-0010, DIST-University of Genoa, Genoa, Italy, March 1994. URL: ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/92-0010.ps.Z
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994. URL: ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9110-07.ps.Z
F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 548–554, Chambery, France, 1993. URL: ftp: //ftp.mrg.dist.unige.it/pub/mrg-ftp/9206-03.ps.Z
F. Giunchiglia and R.W. Weyhrauch. FOL User Manual — FOL version 2. Manual 9109-08, IRST, Trento, Italy, 1991.
A. R. Haas. A Syntactic Theory of Belief and Action. Artificial Intelligence, 28:245–292, 1986.
R.C. Moore. The role of logic in knowledge representation and commonsense reasoning. In National Conference on Artificial Intelligence. AAAI, 1982.
R.W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, 13(1):133–176, 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cimatti, A., Serafini, L. (1996). Mechanizing multi-agent reasoning with belief contexts. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_111
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_111
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive