Paolo Traverso (traverso-p)

Contributions to Philosophie.ch

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.
Dal Largo, Ugo, Pistore, Marco and Traverso, Paolo. 2002. “Planning with a Language for Extended Goals.” in AAAI-02. Proceedings of the Eighteenth National Conference on Artificial Intelligence, edited by Rina Dechter, Richard S. Sutton, and Michael J. Kearns. Menlo Park, California: The AAAI Press.
Giunchiglia, Fausto and Traverso, Paolo. 1996. “A Metatheory of Mechanized Object Theory.” Artificial Intelligence 80(2): 197–241.
Traverso, Paolo and Spalazzi, Luca. 1995. “A Logic for Acting, Sensing, and Planning.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1941–1947. San Francisco, California: Morgan Kaufmann Publishers.