2008 |
15 | EE | 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 | EE | Paolo Ferraris:
A Logic Program Characterization of Causal Theories.
IJCAI 2007: 366-371 |
12 | EE | Paolo Ferraris,
Joohyung Lee,
Vladimir Lifschitz:
A New Perspective on Stable Models.
IJCAI 2007: 372-379 |
11 | EE | Pedro Cabalar,
Paolo Ferraris:
Propositional theories are strongly equivalent to logic programs
CoRR abs/cs/0701095: (2007) |
10 | EE | Pedro Cabalar,
Paolo Ferraris:
Propositional theories are strongly equivalent to logic programs.
TPLP 7(6): 745-759 (2007) |
2006 |
9 | EE | Paolo Ferraris:
Causal Theories as Logic Programs.
WLP 2006: 35-44 |
8 | EE | 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 | EE | Paolo Ferraris:
Answer Sets for Propositional Theories.
LPNMR 2005: 119-131 |
6 | EE | 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 | EE | Paolo Ferraris,
Vladimir Lifschitz:
Weight constraints as nested expressions.
TPLP 5(1-2): 45-74 (2005) |
2004 |
3 | EE | Semra Dogandag,
Paolo Ferraris,
Vladimir Lifschitz:
Almost Definite Causal Theories.
LPNMR 2004: 74-86 |
2003 |
2 | EE | 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 |