Giunchiglia, Enrico

Interpretation of published papers

Code, NrCitation
1   
NIL
Enrico Giunchiglia's Selected Publications

Selected Publications

  • Reasoning about Action and Planning

2   
http://www.mrg.dist.unige.it/~enrico/ftp/95aaai-spring.ps.gz
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.
c-sss-95-80Not available
3   
http://www.mrg.dist.unige.it/~enrico/ftp/95ijcai.ps.gz
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.
c-ijcai-95-1964E. Giunchiglia and Vladimir Lifschitz.
Dependent Fluents. [postscript]
Proc. International Joint Conference on Artificial Intelligence, 1995, pp. 1964-1969.
4   
http://www.mrg.dist.unige.it/~enrico/ftp/96kr.ps.gz
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.
c-kr-96-76Enrico Giunchiglia.
Determining Ramifications in the Situation Calculus. [postscript]
Proc. International Conf on Knowledge Representation and Reasoning, 1996, pp. 76-86.
5   
http://www.mrg.dist.unige.it/~enrico/ftp/97ecp.ps.gz
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.
6   
http://www.mrg.dist.unige.it/~enrico/ftp/97jai.ps.gz
E. Giunchiglia, G. N. Kartha, V. Lifschitz. Representing Action: Indeterminacy and Ramifications. . In Artificial Intelligence vol. 95, no. 2, pp. 409-438.
j-aij-95-409E. Giunchiglia, G.N. Kartha, and V. Lifschitz.
Representing action: indeterminacy and ramifications. [postscript]
Artificial Intelligence Journal, vol. 95, pp. 409-438.
7   
http://www.mrg.dist.unige.it/~enrico/ftp/98aaai1.ps.gz
E. Giunchiglia, V. Lifschitz. An Action Language Based on Causal Explanation: Preliminary Report . In AAAI'98. AAAI
8   
http://www.mrg.dist.unige.it/~enrico/ftp/98aaai2.ps.gz
E. Giunchiglia, A. Massarotto, R. Sebastiani Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability . In AAAI'98. AAAI
9   
http://www.mrg.dist.unige.it/~enrico/ftp/98aimsa.ps.gz
M. Di Manzo, E. Giunchiglia, S. Ruffino. Planning via Model Checking in Determistic Domains: Preliminary Report . In AIMSA'98.

  • Decision Procedures

    • 10   
    http://www.mrg.dist.unige.it/~enrico/ftp/93amai.ps.gz
    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.
    11   
    http://www.mrg.dist.unige.it/~enrico/ftp/95amai.ps.gz
    A. Armando, E. Giunchiglia, P. Pecchiari Structured Proof Procedures . In the Annals of Mathematics and Artificial Intelligence , vol. 15, n. 1, 1995.
    12   
    http://www.mrg.dist.unige.it/~enrico/ftp/98kr.ps.gz
    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

    • c-kr-98-626Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, and Armando Tacchella.
    More evaluation of decision procedures for modal logics. [postscript]
    Proc. International Conf on Knowledge Representation and Reasoning, 1998, pp. 626-635.
    13   
    http://www.mrg.dist.unige.it/~enrico/ftp/93ijcai.ps.gz
    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
    c-ijcai-93-548F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione.
    Non-Omniscient Belief as Context-Based Reasoning. [postscript]
    Proc. International Joint Conference on Artificial Intelligence, 1993, pp. 548-554.
    14   
    http://www.mrg.dist.unige.it/~enrico/ftp/9307-26.ps.gz
    E. Giunchiglia, P. Traverso. A Multi-context Architecture for Formalizing Complex Reasoning . In International Journal of Intelligent Systems, 10:501--539, May 1995.
    15   
    http://www.mrg.dist.unige.it/~enrico/ftp/98jlc.ps.gz
    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.
    16   
    http://www.mrg.dist.unige.it/~enrico/ftp/98ijis.ps.gz
    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.

    Last modified: Tue Oct 28 09:45:09 MET 1997