Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Paolo Ferraris

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tie/FerrarisFPT12
- ask others
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 Transactions on Industrial Electronics 59(5): 2309-2318 (2012)
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tplp/FerrarisLLLY12
- ask others
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang: Representing first-order causal theories by logic programs. TPLP 12(3): 383-412 (2012)
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/KarthaELFRLYR12
- ask others
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: 14-23
2011
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/FerrarisLL11
- ask others
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz: Stable models and circumscription. Artif. Intell. 175(1): 236-263 (2011)
[j4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tocl/Ferraris11
- ask others
Paolo Ferraris: Logic programs with propositional connectives and aggregates. ACM Trans. Comput. Log. 12(4): 25 (2011)
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/FerrarisL11
- ask others
Paolo Ferraris, Vladimir Lifschitz: On the Minimality of Stable Models. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 64-73
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1103-4558
- ask others
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang: Representing First-Order Causal Theories by Logic Programs. CoRR abs/1103.4558 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c10]
- view
  - electronic edition @ ijcai.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ijcai/FerrarisLLP09
- ask others
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla: Symmetric Splitting in the General Theory of Stable Models. IJCAI 2009: 797-803
2008
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0812-1462
- ask others
Paolo Ferraris: Logic programs with propositional connectives and aggregates. CoRR abs/0812.1462 (2008)
2007
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tplp/CabalarF07
- ask others
Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. TPLP 7(6): 745-759 (2007)
[c9]
- view
  - electronic edition @ aaai.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aaai/ErdemF07
- ask others
Esra Erdem, Paolo Ferraris: Forgetting Actions in Domain Descriptions. AAAI 2007: 409-414
[c8]
- view
  - electronic edition @ ac.in
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ijcai/Ferraris07
- ask others
Paolo Ferraris: A Logic Program Characterization of Causal Theories. IJCAI 2007: 366-371
[c7]
- view
  - electronic edition @ ac.in
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ijcai/FerrarisLL07
- ask others
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A New Perspective on Stable Models. IJCAI 2007: 372-379
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-cs-0701095
- ask others
Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. CoRR abs/cs/0701095 (2007)
2006
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/FerrarisLL06
- ask others
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47(1-2): 79-101 (2006)
[c6]
- view
  - electronic edition @ ac.at
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wlp/Ferraris06
- ask others
Paolo Ferraris: Causal Theories as Logic Programs. WLP 2006: 35-44
2005
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tplp/FerrarisL05
- ask others
Paolo Ferraris, Vladimir Lifschitz: Weight constraints as nested expressions. TPLP 5(1-2): 45-74 (2005)
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/FerrarisL05
- ask others
Paolo Ferraris, Vladimir Lifschitz: Mathematical Foundations of Answer Set Programming. We Will Show Them! (1) 2005: 615-664
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpnmr/Ferraris05
- ask others
Paolo Ferraris: On Modular Translations and Strong Equivalence. LPNMR 2005: 79-91
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpnmr/Ferraris05a
- ask others
Paolo Ferraris: Answer Sets for Propositional Theories. LPNMR 2005: 119-131
2004
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpnmr/DogandagFL04
- ask others
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz: Almost Definite Causal Theories. LPNMR 2004: 74-86
2003
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-AI-0312045
- ask others
Paolo Ferraris, Vladimir Lifschitz: Weight Constraints as Nested Expressions. CoRR cs.AI/0312045 (2003)
2000
[c1]
- view
  - electronic edition @ aaai.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aaai/FerrarisG00
- ask others
Paolo Ferraris, Enrico Giunchiglia: Planning as Satisfiability in Nondeterministic Domains. AAAI/IAAI 2000: 748-753