The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Pearce: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Pearce, Agustín Valverde
    Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:350-361 [Conf]
  2. Pedro Cabalar, David Pearce, Agustín Valverde
    Reducing Propositional Theories in Equilibrium Logic to Logic Programs. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  3. David Pearce, Agustín Valverde
    Abduction in equilibrium logic. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  4. David Pearce
    Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. [Citation Graph (0, 0)][DBLP]
    Nonclassical Logics and Information Processing, 1990, pp:63-79 [Conf]
  5. David Pearce
    Some Methodological Issues for Intelligent Information Systems. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops (2), 2005, pp:489-498 [Conf]
  6. David Pearce, Inman P. de Guzmán, Agustín Valverde
    Computing Equilibrium Models Using Signed Formulas. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:688-702 [Conf]
  7. David Pearce
    Default Logic and Constructive Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:309-313 [Conf]
  8. David Pearce, Agustín Valverde
    Synonymus Theories in Answer Set Programming and Equilibrium Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:388-392 [Conf]
  9. David Pearce
    Answer Sets and Nonmonotonic S4. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:255-267 [Conf]
  10. David Pearce, Gerd Wagner
    Logic Programming with Strong Negation. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:311-326 [Conf]
  11. Pedro Cabalar, David Pearce, Agustín Valverde
    Reducing Propositional Theories in Equilibrium Logic to Logic Programs. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:4-17 [Conf]
  12. David Pearce, Hans Tompits, Stefan Woltran
    Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. [Citation Graph (0, 0)][DBLP]
    EPIA, 2001, pp:306-320 [Conf]
  13. David Pearce
    A Model Based Approach to Validation. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:55-67 [Conf]
  14. Pedro Cabalar, Sergei P. Odintsov, David Pearce
    Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    IBERAMIA-SBIA, 2006, pp:592-601 [Conf]
  15. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
    Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:346-360 [Conf]
  16. David Pearce
    Simplifying Logic Programs Under Answer Set Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:210-224 [Conf]
  17. David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
    A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:405-420 [Conf]
  18. David Pearce, E. Grant
    A qualitative modelling environment for design & diagnosis of automation. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (1), 1989, pp:192-196 [Conf]
  19. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
    On the Logic and Computation of Partial Equilibrium Models. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:82-94 [Conf]
  20. Heinrich Herre, David Pearce
    Disjunctive Logic Programming, Constructivity and Strong Negation. [Citation Graph (0, 0)][DBLP]
    JELIA, 1992, pp:391-410 [Conf]
  21. David Pearce, Agustín Valverde
    Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:147-160 [Conf]
  22. Pedro Cabalar, Sergei P. Odintsov, David Pearce
    Logical Foundations of Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:25-35 [Conf]
  23. David Pearce
    Answer Sets and Constructive Logic. Part 1: Monotonic Databases. [Citation Graph (0, 0)][DBLP]
    Logic, Action, and Information, 1996, pp:392-414 [Conf]
  24. Sergei P. Odintsov, David Pearce
    Routley Semantics for Answer Sets. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:343-355 [Conf]
  25. David Pearce
    Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:457-475 [Conf]
  26. David Pearce
    Nonmonotonicity and Answer Set Inference. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:372-387 [Conf]
  27. David Pearce, Agustín Valverde
    Uniform Equivalence for Equilibrium Logic and Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:194-206 [Conf]
  28. Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
    A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:44-57 [Conf]
  29. Vladimir Lifschitz, David Pearce, Agustín Valverde
    A Characterization of Strong Equivalence for Logic Programs with Variables. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:188-200 [Conf]
  30. David Pearce, Wolfgang Rautenberg
    Propositional logic based on the dynamics of disbelief. [Citation Graph (0, 0)][DBLP]
    The Logic of Theory Change, 1989, pp:243-258 [Conf]
  31. David Pearce
    A New Logical Characterisation of Stable Models and Answer Sets. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:57-70 [Conf]
  32. David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
    A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:57-66 [Conf]
  33. David Pearce, Inman P. de Guzmán, Agustín Valverde
    A Tableau Calculus for Equilibrium Entailment. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:352-367 [Conf]
  34. David Pearce
    Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:17- [Conf]
  35. David Pearce
    Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLP, 1994, pp:52-55 [Conf]
  36. Ji Zhang, David Pearce
    Proactive care-of address test for route optimization in FMIPv6. [Citation Graph (0, 0)][DBLP]
    WMASH, 2005, pp:92-95 [Conf]
  37. David Pearce
    Equilibrium logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2006, v:47, n:1-2, pp:3-41 [Journal]
  38. David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
    A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  39. David Pearce
    Stable Inference as Intuitionistic Validity. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:1, pp:79-91 [Journal]
  40. Elisabeth Martinez, David D. Moore, Evan Keller, David Pearce, John P. Vanden Heuvel, Vincent Robinson, Bruce Gottlieb, Paul N. MacDonald, S. Stoney Simons Jr., Eddie Sanchez, Mark Danielsen
    The Nuclear Receptor Resource: a growing family. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1998, v:26, n:1, pp:239-241 [Journal]
  41. Elisabeth Martinez, David D. Moore, Evan Keller, David Pearce, Vincent Robinson, Paul N. MacDonald, S. Stoney Simons Jr., Eddie Sanchez, Mark Danielsen
    The Nuclear Receptor Resource Project. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1997, v:25, n:1, pp:163-165 [Journal]
  42. David Pearce, Agustín Valverde
    A First Order Nonmonotonic Extension of Constructive Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:321-346 [Journal]
  43. Vladimir Lifschitz, David Pearce, Agustín Valverde
    Strongly equivalent logic programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:4, pp:526-541 [Journal]
  44. Pedro Cabalar, David Pearce, Agustín Valverde
    Minimal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:104-118 [Conf]
  45. Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
    Quantified Equilibrium Logic and Hybrid Rules. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:58-72 [Conf]
  46. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
    Partial equilibrium logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:305-331 [Journal]

  47. TCP Quick-Adjust by Utilizing Explicit Link Characteristic Information. [Citation Graph (, )][DBLP]


  48. Well-Founded and Partial Stable Semantics Logical Aspects. [Citation Graph (, )][DBLP]


  49. Sixty Years of Stable Models. [Citation Graph (, )][DBLP]


  50. Quantified Equilibrium Logic and Foundations for Answer Set Programs. [Citation Graph (, )][DBLP]


  51. A Logical Semantics for Description Logic Programs. [Citation Graph (, )][DBLP]


  52. Minimal Knowledge and Belief via Minimal Topology. [Citation Graph (, )][DBLP]


  53. A Revised Concept of Safety for General Answer Set Programs. [Citation Graph (, )][DBLP]


  54. Interpretability and Equivalence in Quantified Equilibrium Logic. [Citation Graph (, )][DBLP]


  55. Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. [Citation Graph (, )][DBLP]


  56. Characterising equilibrium logic and nested logic programs: Reductions and complexity [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002