Planning as Satisfiability in Nondeterministic Domains. - Paolo Ferraris; Enrico Giunchiglia (AAAI/IAAI, 2000)

Almost Definite Causal Theories. - Semra Dogandag; Paolo Ferraris; Vladimir Lifschitz (LPNMR, 2004)

Mathematical Foundations of Answer Set Programming. - Paolo Ferraris; Vladimir Lifschitz (We Will Show Them! (1), 2005)

On Modular Translations and Strong Equivalence. - Paolo Ferraris (LPNMR, 2005)

Answer Sets for Propositional Theories. - Paolo Ferraris (LPNMR, 2005)

Weight constraints as nested expressions. - Paolo Ferraris; Vladimir Lifschitz (Theory Pract. Log. Program., 2005)

Causal Theories as Logic Programs. - Paolo Ferraris (WLP, 2006)

A generalization of the Lin-Zhao theorem. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz (Ann. Math. Artif. Intell., 2006)

Forgetting Actions in Domain Descriptions. - Esra Erdem 001; Paolo Ferraris (AAAI, 2007)

A Logic Program Characterization of Causal Theories. - Paolo Ferraris (IJCAI, 2007)

A New Perspective on Stable Models. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz (IJCAI, 2007)

Propositional theories are strongly equivalent to logic programs. - Pedro Cabalar; Paolo Ferraris (Theory Pract. Log. Program., 2007)

Symmetric Splitting in the General Theory of Stable Models. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (IJCAI, 2009)

On the Minimality of Stable Models. - Paolo Ferraris; Vladimir Lifschitz (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Stable models and circumscription. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz (Artif. Intell., 2011)

Logic programs with propositional connectives and aggregates. - Paolo Ferraris (ACM Trans. Comput. Log., 2011)

Vladimir Lifschitz - A Youth at 65. - Neelakantan Kartha; Esra Erdem 001; Joohyung Lee 002; Paolo Ferraris; Wanwan Ren; Yuliya Lierler; Fangkai Yang; Albert Rondan (Correct Reasoning, 2012)

Evaluation of the magnetization direction effects on ferrite PM brushless fractional machines. - Luca Ferraris; Paolo Ferraris; Emir Poskovic; Alberto Tenconi (IECON, 2012)

Theoretic and Experimental Approach to the Adoption of Bonded Magnets in Fractional Machines for Automotive Applications. - Luca Ferraris; Paolo Ferraris; Emir Poskovic; Alberto Tenconi (IEEE Trans. Ind. Electron., 2012)

Representing first-order causal theories by logic programs. - Paolo Ferraris; Joohyung Lee 002; Yuliya Lierler; Vladimir Lifschitz; Fangkai Yang (Theory Pract. Log. Program., 2012)