Selected Publications

• Reasoning about Action and Planning
  • E. Giunchiglia, G. N. Kartha, V. Lifschitz. Actions with indirect effects. In Symposium on Extending Theories of Action: Formal Theory and Practical Applications, 1995. AAAI Spring Symposium Series, pag. 80--85, Stanford, U.S.A., March 27-29 1995.
    
  • E. Giunchiglia, V. Lifschitz. Dependent fluents. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pag 1964--1969, Montreal, Canada, August 20-25 1995. Morgan Kauffmann Publishers.
    
  • E. Giunchiglia. Determining Ramifications in the Situation Calculus. In Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96). Cambridge, Massachusetts, November 5--8 1996. Morgan Kauffmann Publishers.
    
  • A. Cimatti, E. Giunchiglia, F. Giunchiglia, and P. Traverso. Planning via Model Checking: A Decision Procedure for AR . May 1997. In Proc. of the Fourth European Conference on Planning -- ECP '97, Toulouse, France, 24/25/26 September 1997.
    
  • E. Giunchiglia, G. N. Kartha, V. Lifschitz. Representing Action: Indeterminacy and Ramifications.. In Artificial Intelligence vol. 95, no. 2, pp. 409-438.
    
  • E. Giunchiglia, V. Lifschitz. An Action Language Based on Causal Explanation: Preliminary Report. In AAAI'98. AAAI
    
  • E. Giunchiglia, A. Massarotto, R. Sebastiani Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. In AAAI'98. AAAI
    
  • M. Di Manzo, E. Giunchiglia, S. Ruffino. Planning via Model Checking in Determistic Domains: Preliminary Report. In AIMSA'98.
    

• Decision Procedures
  • A. Armando, E. Giunchiglia Embedding complex decision procedures inside an interactive theorem prover. In the Annals of Mathematics and Artificial Intelligence, vol. 8, n. 3-4, 1993.
  • A. Armando, E. Giunchiglia, P. Pecchiari Structured Proof Procedures. In the Annals of Mathematics and Artificial Intelligence, vol. 15, n. 1, 1995.
    
  • E. Giunchiglia, F. Giunchiglia, R. Sebastiani, A. Tacchella More evaluation of decision procedures for modal logics. In Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98). Trento, Italy, June 2--5 1998. Morgan Kauffmann Publishers.
    

• Contextual Reasoning
  • F. Giunchiglia, L. Serafini, E. Giunchiglia, M. Frixione. Non-Omniscient Belief as Context-Based Reasoning . In Proc. of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93). pag. 548--554, Chambery, France. Morgan Kauffmann Publishers
  • E. Giunchiglia, P. Traverso. A Multi-context Architecture for Formalizing Complex Reasoning . In International Journal of Intelligent Systems, 10:501--539, May 1995.
  • E. Giunchiglia, F. Giunchiglia. Ideal and Real Belief about Belief . Submitted for publication to Journal of Logic and Computation. A short version of the paper appeared in the Proc. International Conference on Formal and Applied Practical Reasoning, FAPR'96.
  • M. Benerecetti, E. Giunchiglia, L. Serafini, A. Villafiorita Formal specification of beliefs in multi-agent systems . Submitted for publication to International Journal of Intelligent Systems.