Paolo Ferraris

According to our database, Paolo Ferraris authored at least 20 papers between 2000 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Representing first-order causal theories by logic programs.

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Theory Pract. Log. Program., 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

Evaluation of the magnetization direction effects on ferrite PM brushless fractional machines.

Luca Ferraris, Paolo Ferraris, Emir Poskovic, Alberto Tenconi

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

Vladimir Lifschitz - A Youth at 65.

Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan

Proceedings of the Correct Reasoning, 2012

2011

Logic programs with propositional connectives and aggregates.

Paolo Ferraris

ACM Trans. Comput. Log., 2011

Stable models and circumscription.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Artif. Intell., 2011

On the Minimality of Stable Models.

Paolo Ferraris, Vladimir Lifschitz

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2009

Symmetric Splitting in the General Theory of Stable Models.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Proceedings of the IJCAI 2009, 2009

2007

Propositional theories are strongly equivalent to logic programs.

Pedro Cabalar, Paolo Ferraris

Theory Pract. Log. Program., 2007

A New Perspective on Stable Models.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Proceedings of the IJCAI 2007, 2007

A Logic Program Characterization of Causal Theories.

Paolo Ferraris

Proceedings of the IJCAI 2007, 2007

Forgetting Actions in Domain Descriptions.

Esra Erdem, Paolo Ferraris

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

A generalization of the Lin-Zhao theorem.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Ann. Math. Artif. Intell., 2006

Causal Theories as Logic Programs.

Paolo Ferraris

Proceedings of the 20th Workshop on Logic Programming, 2006

2005

Weight constraints as nested expressions.

Paolo Ferraris, Vladimir Lifschitz

Theory Pract. Log. Program., 2005

Answer Sets for Propositional Theories.

Paolo Ferraris

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

On Modular Translations and Strong Equivalence.

Paolo Ferraris

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Mathematical Foundations of Answer Set Programming.

Paolo Ferraris, Vladimir Lifschitz

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

Almost Definite Causal Theories.

Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2000

Planning as Satisfiability in Nondeterministic Domains.

Paolo Ferraris, Enrico Giunchiglia

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000