|
Search the dblp DataBase
Paolo Ferraris:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paolo Ferraris, Enrico Giunchiglia
Planning as Satisfiability in Nondeterministic Domains. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 2000, pp:748-753 [Conf]
- Paolo Ferraris, Vladimir Lifschitz
Mathematical Foundations of Answer Set Programming. [Citation Graph (0, 0)][DBLP] We Will Show Them! (1), 2005, pp:615-664 [Conf]
- Paolo Ferraris
A Logic Program Characterization of Causal Theories. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:366-371 [Conf]
- Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A New Perspective on Stable Models. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:372-379 [Conf]
- Paolo Ferraris
On Modular Translations and Strong Equivalence. [Citation Graph (0, 0)][DBLP] LPNMR, 2005, pp:79-91 [Conf]
- Paolo Ferraris
Answer Sets for Propositional Theories. [Citation Graph (0, 0)][DBLP] LPNMR, 2005, pp:119-131 [Conf]
- Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz
Almost Definite Causal Theories. [Citation Graph (0, 0)][DBLP] LPNMR, 2004, pp:74-86 [Conf]
- Paolo Ferraris
Causal Theories as Logic Programs. [Citation Graph (0, 0)][DBLP] WLP, 2006, pp:35-44 [Conf]
- Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A generalization of the Lin-Zhao theorem. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2006, v:47, n:1-2, pp:79-101 [Journal]
- Paolo Ferraris, Vladimir Lifschitz
Weight Constraints as Nested Expressions [Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal]
- Paolo Ferraris, Vladimir Lifschitz
Weight constraints as nested expressions. [Citation Graph (0, 0)][DBLP] TPLP, 2005, v:5, n:1-2, pp:45-74 [Journal]
- Esra Erdem, Paolo Ferraris
Forgetting Actions in Domain Descriptions. [Citation Graph (0, 0)][DBLP] AAAI, 2007, pp:409-414 [Conf]
- Pedro Cabalar, Paolo Ferraris
Propositional theories are strongly equivalent to logic programs [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
Symmetric Splitting in the General Theory of Stable Models. [Citation Graph (, )][DBLP]
Logic programs with propositional connectives and aggregates [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|