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. |