Dealing with expected and unexpected obstacles Journal Article
J. Exp. Theor. Artif. Intell., 8 (2), pp. 173–190, 1996.
Visual representation of natural language scene descriptions Journal Article
IEEE Trans. Systems, Man, and Cybernetics, Part B, 26 (4), pp. 575–589, 1996.
Formal Specification of Beliefs in Multi-Agent Systems Inproceedings
Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings, pp. 117–130, 1996.
Ideal and Real Belief about Belief Inproceedings
Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 261–275, 1996.
Determining Ramifications in the Situation Calculus Inproceedings
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996., pp. 76–86, 1996.
Ideal and Real Belief aobout Belief: Some Intuitions Inproceedings
Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands, January 22-25, 1996, Proceedings, pp. 1–12, 1996.
Structured Proof Procedures Journal Article
Ann. Math. Artif. Intell., 15 (1), pp. 1–18, 1995.
A multicontext architecture for formalizing complex reasoning Journal Article
Int. J. Intell. Syst., 10 (5), pp. 501–539, 1995.
Agents as Reasoners, Observers or Believers Inproceedings
Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13, 1995, Proceedings, pp. 414–425, 1995.
Agents as Reasoners, Observers, or Arbitrary Believers Inproceedings
Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA, pp. 448, 1995.
Dependent Fluents Inproceedings
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 1964–1969, 1995.
MRG: Building planers for real-world complex applications Journal Article
Applied Artificial Intelligence, 8 (3), pp. 333–357, 1994.
Ann. Math. Artif. Intell., 8 (3-4), pp. 475–502, 1993.
Proving Formulas through Reduction to Decidable Classes Inproceedings
Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings, pp. 1–10, 1993.
Non-Omniscient Belief as Context-Based Resoning Inproceedings
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993, pp. 548–554, 1993.
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 548–557, 1993.
A Knowledge Based System for Automatic 3D Scene Inproceedings
AIMSA, pp. 255–264, 1992.
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic Inproceedings
SCAI, pp. 84–89, 1991.
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas Inproceedings
ECAI, pp. 607–609, 1988.