 | 2009 |
|---|
| 16 |       | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz,
Ravi Palla:
Symmetric Splitting in the General Theory of Stable Models.
IJCAI 2009: 797-803 |
| 2008 |
|---|
| 15 | | Paolo Ferraris:
Logic programs with propositional connectives and aggregates
CoRR abs/0812.1462: (2008) |
| 2007 |
|---|
| 14 |  | Esra Erdem,
Paolo Ferraris:
Forgetting Actions in Domain Descriptions.
AAAI 2007: 409-414 |
| 13 | | Paolo Ferraris:
A Logic Program Characterization of Causal Theories.
IJCAI 2007: 366-371 |
| 12 | | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz:
A New Perspective on Stable Models.
IJCAI 2007: 372-379 |
| 11 | | Pedro Cabalar,
Paolo Ferraris:
Propositional theories are strongly equivalent to logic programs
CoRR abs/cs/0701095: (2007) |
| 10 | | Pedro Cabalar,
Paolo Ferraris:
Propositional theories are strongly equivalent to logic programs.
TPLP 7(6): 745-759 (2007) |
| 2006 |
|---|
| 9 | | Paolo Ferraris:
Causal Theories as Logic Programs.
WLP 2006: 35-44 |
| 8 | | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz:
A generalization of the Lin-Zhao theorem.
Ann. Math. Artif. Intell. 47(1-2): 79-101 (2006) |
| 2005 |
|---|
| 7 | | Paolo Ferraris:
Answer Sets for Propositional Theories.
LPNMR 2005: 119-131 |
| 6 | | Paolo Ferraris:
On Modular Translations and Strong Equivalence.
LPNMR 2005: 79-91 |
| 5 | | Paolo Ferraris,
Vladimir Lifschitz:
Mathematical Foundations of Answer Set Programming.
We Will Show Them! (1) 2005: 615-664 |
| 4 | | Paolo Ferraris,
Vladimir Lifschitz:
Weight constraints as nested expressions.
TPLP 5(1-2): 45-74 (2005) |
| 2004 |
|---|
| 3 | | Semra Dogandag,
Paolo Ferraris,
Vladimir Lifschitz:
Almost Definite Causal Theories.
LPNMR 2004: 74-86 |
| 2003 |
|---|
| 2 | | Paolo Ferraris,
Vladimir Lifschitz:
Weight Constraints as Nested Expressions
CoRR cs.AI/0312045: (2003) |
| 2000 |
|---|
| 1 | | Paolo Ferraris,
Enrico Giunchiglia:
Planning as Satisfiability in Nondeterministic Domains.
AAAI/IAAI 2000: 748-753 |
