
Search the dblp DataBase
Paolo Ferraris:
[Publications]
[Author Rank by year]
[Coauthors]
[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:748753 [Conf]
 Paolo Ferraris, Vladimir Lifschitz
Mathematical Foundations of Answer Set Programming. [Citation Graph (0, 0)][DBLP] We Will Show Them! (1), 2005, pp:615664 [Conf]
 Paolo Ferraris
A Logic Program Characterization of Causal Theories. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:366371 [Conf]
 Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A New Perspective on Stable Models. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:372379 [Conf]
 Paolo Ferraris
On Modular Translations and Strong Equivalence. [Citation Graph (0, 0)][DBLP] LPNMR, 2005, pp:7991 [Conf]
 Paolo Ferraris
Answer Sets for Propositional Theories. [Citation Graph (0, 0)][DBLP] LPNMR, 2005, pp:119131 [Conf]
 Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz
Almost Definite Causal Theories. [Citation Graph (0, 0)][DBLP] LPNMR, 2004, pp:7486 [Conf]
 Paolo Ferraris
Causal Theories as Logic Programs. [Citation Graph (0, 0)][DBLP] WLP, 2006, pp:3544 [Conf]
 Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A generalization of the LinZhao theorem. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2006, v:47, n:12, pp:79101 [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:12, pp:4574 [Journal]
 Esra Erdem, Paolo Ferraris
Forgetting Actions in Domain Descriptions. [Citation Graph (0, 0)][DBLP] AAAI, 2007, pp:409414 [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.002secs, Finished in 0.003secs
