The SCEAS System
Navigation Menu

Search the dblp DataBase


Paolo Ferraris: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paolo Ferraris, Enrico Giunchiglia
    Planning as Satisfiability in Nondeterministic Domains. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:748-753 [Conf]
  2. 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]
  3. Paolo Ferraris
    A Logic Program Characterization of Causal Theories. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:366-371 [Conf]
  4. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
    A New Perspective on Stable Models. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:372-379 [Conf]
  5. Paolo Ferraris
    On Modular Translations and Strong Equivalence. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:79-91 [Conf]
  6. Paolo Ferraris
    Answer Sets for Propositional Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:119-131 [Conf]
  7. Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz
    Almost Definite Causal Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:74-86 [Conf]
  8. Paolo Ferraris
    Causal Theories as Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLP, 2006, pp:35-44 [Conf]
  9. 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]
  10. Paolo Ferraris, Vladimir Lifschitz
    Weight Constraints as Nested Expressions [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  11. 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]
  12. Esra Erdem, Paolo Ferraris
    Forgetting Actions in Domain Descriptions. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:409-414 [Conf]
  13. Pedro Cabalar, Paolo Ferraris
    Propositional theories are strongly equivalent to logic programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  14. Symmetric Splitting in the General Theory of Stable Models. [Citation Graph (, )][DBLP]

  15. Logic programs with propositional connectives and aggregates [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002