Selected papers by Paolo Ferraris

• P. Ferraris, E. Giunchiglia. "Planning as Satisfiability in Nondeterministic Domains". In Proc. AAAI'00, 2000. PDF PS


• S. Doğandağ, P. Ferraris, V. Lifschitz. "Almost Definite Causal Theories". In Proc. LPNMR-7, pp. 114-126, 2004. PDF PS


• P. Ferraris, V. Lifschitz. "Weight Constraints as Nested Expressions". Theory and Practice of Logic Programming, 5:45-74, 2005. PDF PS


• P. Ferraris. "Answer Sets for Propositional Theories". In Proc. LPNMR'05, pages 119-131, 2005. PDF PS


• P. Ferraris. "On Modular Translations and Strong Equivalence". In Proc. LPNMR'05, pages 75-91, 2005. PDF PS


• P. Ferraris. "Eliminating Weight Constraints in Polynomial Time". Unpublished draft. PDF PS


• P. Ferraris and V. Lifschitz, "Mathematical foundations of answer set programming". In We Will Show Them! Essays in Honour of Dov Gabbay, Vol 1. S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods (eds.), College Publications, pp. 615--664. PDF PS


• P. Cabalar and P. Ferraris. "Propositional Theories are Strongly equivalent to Logic Programs". Theory and Practice of Logic Programming, 7:745-759, 2007. PDF PS


• P. Ferraris. "Causal Theories as Logic Programs". In Proc. 20th Workshop on Logic Programming (WLP 2006), Vienna, February 2006. PDF PS


• P. Ferraris, J. Lee and V. Lifschitz. "A Generalization of the Lin-Zhao Theorem". Annals of Mathematics and Artificial Intelligence, Vol. 47, 2006. PDF PS


• S. Erdoğan, P. Ferraris, V. Lifschitz and W. Ren. "Why the Monkey Needs the Box: A Serious Look at a Toy Domain". Working Notes of NRAC'07, 2007. PDF PS


• P. Ferraris. "A Logic Program Characterization of Causal Theories". In Proc. IJCAI-07, 2007. PDF PS


• P. Ferraris, J. Lee and V. Lifschitz. "A new perspective on stable models". In Proc. IJCAI-07, 2007. PDF PS


• P. Ferraris. "Expressiveness of Answer Set Languages". PhD dissertation, June 2007. PDF PS


• P. Ferraris, J. Lee and V. Lifschitz. "Stable models and circumscription". Artificial Intelligence, to appear. PDF PS


• P. Ferraris. "Logic programs with propositional connectives and aggregates". Under review. PDF PS

Last modified: December 2008