Paolo Ferraris
Ph.D. Alumni
Publications
     [Expand to show all 18][Minimize]
Representing First-Order Causal Theories by Logic Programs 2012
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang, Theory and Practice of Logic Programming, Vol. 12, 3 (2012), pp. 383-412.
On the Minimality of Stable Models 2011
Paolo Ferraris and Vladimir Lifschitz, In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, pp. 54-73 2011. Springer.
Stable Models and Circumscription 2011
Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz, Artificial Intelligence, Vol. 175 (2011), pp. 236--263.
On the Stable Model Semantics of First-Order Formulas with Aggregates 2010
Paolo Ferraris and Vladimir Lifschitz, In Proceedings of the 2010 Workshop on Nonmonotonic Reasoning 2010.
Symmetric Splitting in the General Theory of Stable Models 2009
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, and Ravi Palla, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 797-803 2009.
A Logic Program Characterization of Causal Theories 2007
Paolo Ferraris, In IJCAI 2007.
A New Perspective on Stable Models 2007
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 372-379 2007.
Expressiveness of Answer Set Languages 2007
Paolo Ferraris, PhD Thesis, Computer Sciences Department, The University of Texas at Austin.
Propositional Theories are Strongly equivalent to Logic Programs 2007
Pedro Cabalar and Paolo Ferraris, Theory and Practice of Logic Programming, Vol. 7 (2007), pp. 745-759.
Why the Monkey Needs the Box: a Serious Look at a Toy Domain 2007
Selim T. Erdoğan, Paolo Ferraris, Vladimir Lifschitz and Wanwan Ren, In Working Notes of the 7th IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07), pp. 57--63 2007.
A Generalization of the Lin-Zhao Theorem 2006
Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz, Annals of Mathematics and Artificial Intelligence, Vol. 47 (2006), pp. 79-101.
Causal Theories as Logic Programs 2006
Paolo Ferraris, In Proceedings of Workshop on Logic Programming 2006.
Eliminating Weight Constraints in Polynomial Time 2006
Paolo Ferraris, unpublished. Unpublished draft.
Answer Sets for Propositional Theories 2005
Paolo Ferraris, In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 119-131 2005.
Mathematical Foundations of Answer Set Programming 2005
Paolo Ferraris and Vladimir Lifschitz, In We Will Show Them! Essays in Honour of Dov Gabbay, pp. 615-664 2005. King's College Publications.
On Modular Translations and Strong Equivalence 2005
Paolo Ferraris, In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 79-91 2005.
Weight Constraints as Nested Expressions 2005
Paolo Ferraris and Vladimir Lifschitz, Theory and Practice of Logic Programming, Vol. 5 (2005), pp. 45-74.
Almost Definite Causal Theories 2004
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz, In Proc. LPNMR-7, pp. 74--86 2004.
Labs
Formerly affiliated with Texas Action Group