Alessandro Cimatti (cimatti-a)
Contributi a Philosophie.ch
No contributions yet
Bibliography
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).
Cimatti, Alessandro, Pistore, A., Rovero, M. and Traverso, Paolo. 2003. “Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking.” Artificial Intelligence 147(1–2): 35–84.
Cimatti, Alessandro and Serafini, Luciano. 1993. “Multiagent Reasoning with Belief Contexts: The Approach and a Case Study.” 9312–01. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST). Republished as Cimatti and Serafini (1995).
Cimatti, Alessandro and Serafini, Luciano. 1994. “Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance.” 9412–09. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST). Republished as Cimatti and Serafini (1996).
Cimatti, Alessandro and Serafini, Luciano. 1995. “Multiagent Reasoning with Belief Contexts: The Approach and a Case Study.” in ATAL-94. Intelligent Agents: Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, edited by Michael J. Wooldridge and Nicholas R. Jennings, pp. 71–85. Lecture Notes in Computer Science. Berlin: Springer.
Cimatti, Alessandro and Serafini, Luciano. 1996. “Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance.” Also IRST-Technical Report 9412-09, IRST, Trento, Italy. Commonsense -96 Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996.
Cimatti, Alessandro and Serafini, Luciano. 2000. “A Context-Based Mechanization of Multi-Agent Reasoning.” in Formal Aspects of Context, edited by Pierre E. Bonzon, Marcos Cavalcanti, and Rolf T. Nossum, pp. 65–83. Dordrecht: Kluwer Academic Publishers.
Giunchiglia, Fausto and Cimatti, Alessandro. 1994. “Introspective Metatheoretic Reasoning.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 425–439. Berlin: Springer.