Enrico Giunchiglia (giunchiglia-e)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Castellini, Claudio, Giunchiglia, Enrico and Tacchella, Armando. 2003. “SAT-Based Planning in Complex Domains: Concurrency Constraints and Nondeterminism.” Artificial Intelligence 147(1–2): 85–117.
Cimatti, Alessandro, Giunchiglia, Enrico, Giunchiglia, Fausto and Traverso, Paolo. 1997. “Planning via Model Checking: A Decision Procedure for AR.” 9705–02. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST).
Giunchiglia, Enrico. 1996. “Determining Ramifications in the Situation Calculus.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 76–88. San Francisco, California: Morgan Kaufmann Publishers.
Giunchiglia, Enrico. 2000. “Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints, and Nondeterminism.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 657–666. San Francisco, California: Morgan Kaufmann Publishers.
Giunchiglia, Enrico, Giunchiglia, Fausto, Sebastiani, Roberto and Tacchella, Armando. 1998. “More Evaluation of Decision Procedures for Modal Logics.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 626–635. San Francisco, California: Morgan Kaufmann Publishers.
Giunchiglia, Enrico, Kartha, G. Neelakantan and Lifschitz, Vladimir. 1997. “Representing Action: Indeterminacy and Ramifications.” Artificial Intelligence 95(2): 409–438.
Giunchiglia, Enrico, Lee, Joohyung, Lifschitz, Vladimir, McCain, Norman and Turner, Hudson. 2001. “Nonmonotonic Causal Theories.” Artificial Intelligence 153(5–6): 49–104.
Giunchiglia, Enrico and Lifschitz, Vladimir. 1995. “Dependent Fluents.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1964–1969. San Francisco, California: Morgan Kaufmann Publishers.
Giunchiglia, Enrico and Lifschitz, Vladimir. 1998. “An Action Language Based on Causal Explanation.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems III: Belief Change, edited by Didier Dubois and Henri Prade, pp. 623–628. Dordrecht: Kluwer Academic Publishers.
Giunchiglia, Enrico and Lifschitz, Vladimir. 1999. “Action Languages, Temporal Action Logics and the Situation Calculus.” in IJCAI-99. Workshop on Nonmonotonic Reasoning, Action and Change, edited by Michael Thielscher, pp. 33–40. Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence.
Giunchiglia, Enrico, Narizzano, Massimo and Tacchella, Armando. 2003. “Backjumping for Quantified Boolean Logic Satisfiability.” Artificial Intelligence 145(1–2): 99–120.
Giunchiglia, Fausto, Giunchiglia, Enrico, Costello, Tom and Bouquet, Paolo. 1992. “Dealing with Expected and Unexpected Obstacles.” 9211–06. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST).
Giunchiglia, Fausto, Giunchiglia, Enrico, Costello, Tom and Bouquet, Paolo. 1996. “Dealing with Expected and Unexpected Obstacles.” Journal of Experimental and Theoretical Artificial Intelligence 8. Also IRST-Technical Report 9211-06, IRST, Trento, Italy.
Giunchiglia, Fausto, Serafini, Luciano, Giunchiglia, Enrico and Frixione, Marcello. 1993. “Non-Omniscient Belief as Context-Based Reasoning.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 548–554. San Francisco, California: Morgan Kaufmann Publishers.