Paolo Ferraris

Publication Activity (10 Years)

Years Active: 2000-2012
Publications (10 Years): 0

Top Topics

Answer Set Programming

Nonmonotonic Reasoning

Causal Theories

Top Venues

IEEE Trans. Ind. Electron.

Correct Reasoning

Theory Pract. Log. Program.

Publications

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
Representing first-order causal theories by logic programs. Theory Pract. Log. Program. 12 (3) (2012)
Luca Ferraris, Paolo Ferraris, Emir Poskovic, Alberto Tenconi
Theoretic and Experimental Approach to the Adoption of Bonded Magnets in Fractional Machines for Automotive Applications. IEEE Trans. Ind. Electron. 59 (5) (2012)
Luca Ferraris, Paolo Ferraris, Emir Poskovic, Alberto Tenconi
Evaluation of the magnetization direction effects on ferrite PM brushless fractional machines. IECON (2012)
Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan
Vladimir Lifschitz - A Youth at 65. Correct Reasoning (2012)
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
Representing First-Order Causal Theories by Logic Programs CoRR (2011)
Paolo Ferraris, Vladimir Lifschitz
On the Minimality of Stable Models. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Paolo Ferraris
Logic programs with propositional connectives and aggregates. ACM Trans. Comput. Log. 12 (4) (2011)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
Stable models and circumscription. Artif. Intell. 175 (1) (2011)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Symmetric Splitting in the General Theory of Stable Models. IJCAI (2009)
Paolo Ferraris
Logic programs with propositional connectives and aggregates CoRR (2008)
Esra Erdem, Paolo Ferraris
Forgetting Actions in Domain Descriptions. AAAI (2007)
Paolo Ferraris
A Logic Program Characterization of Causal Theories. IJCAI (2007)
Pedro Cabalar, Paolo Ferraris
Propositional theories are strongly equivalent to logic programs CoRR (2007)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A New Perspective on Stable Models. IJCAI (2007)
Pedro Cabalar, Paolo Ferraris
Propositional theories are strongly equivalent to logic programs. Theory Pract. Log. Program. 7 (6) (2007)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47 (1-2) (2006)
Paolo Ferraris
Causal Theories as Logic Programs. WLP (2006)
Paolo Ferraris, Vladimir Lifschitz
Weight constraints as nested expressions. Theory Pract. Log. Program. 5 (1-2) (2005)
Paolo Ferraris
On Modular Translations and Strong Equivalence. LPNMR (2005)
Paolo Ferraris
Answer Sets for Propositional Theories. LPNMR (2005)
Paolo Ferraris, Vladimir Lifschitz
Mathematical Foundations of Answer Set Programming. We Will Show Them! (1) (2005)
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz
Almost Definite Causal Theories. LPNMR (2004)
Paolo Ferraris, Vladimir Lifschitz
Weight Constraints as Nested Expressions CoRR (2003)
Paolo Ferraris, Enrico Giunchiglia
Planning as Satisfiability in Nondeterministic Domains. AAAI/IAAI (2000)