Paolo Ferraris

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