Search the dblp DataBase
David Pearce :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] David Pearce , Agustín Valverde Abduction in equilibrium logic. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2001, pp:- [Conf ] 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 ] David Pearce Some Methodological Issues for Intelligent Information Systems. [Citation Graph (0, 0)][DBLP ] CAiSE Workshops (2), 2005, pp:489-498 [Conf ] 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 ] David Pearce Default Logic and Constructive Logic. [Citation Graph (0, 0)][DBLP ] ECAI, 1992, pp:309-313 [Conf ] 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 ] David Pearce Answer Sets and Nonmonotonic S4. [Citation Graph (0, 0)][DBLP ] ELP, 1993, pp:255-267 [Conf ] David Pearce , Gerd Wagner Logic Programming with Strong Negation. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:311-326 [Conf ] 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 ] 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 ] David Pearce A Model Based Approach to Validation. [Citation Graph (0, 0)][DBLP ] EUROVAV, 1991, pp:55-67 [Conf ] 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 ] 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 ] David Pearce Simplifying Logic Programs Under Answer Set Semantics. [Citation Graph (0, 0)][DBLP ] ICLP, 2004, pp:210-224 [Conf ] 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 ] 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 ] 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 ] Heinrich Herre , David Pearce Disjunctive Logic Programming, Constructivity and Strong Negation. [Citation Graph (0, 0)][DBLP ] JELIA, 1992, pp:391-410 [Conf ] 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 ] Pedro Cabalar , Sergei P. Odintsov , David Pearce Logical Foundations of Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:25-35 [Conf ] 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 ] Sergei P. Odintsov , David Pearce Routley Semantics for Answer Sets. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:343-355 [Conf ] 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 ] David Pearce Nonmonotonicity and Answer Set Inference. [Citation Graph (0, 0)][DBLP ] LPNMR, 1995, pp:372-387 [Conf ] David Pearce , Agustín Valverde Uniform Equivalence for Equilibrium Logic and Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2004, pp:194-206 [Conf ] 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 ] 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 ] 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 ] David Pearce A New Logical Characterisation of Stable Models and Answer Sets. [Citation Graph (0, 0)][DBLP ] NMELP, 1996, pp:57-70 [Conf ] 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 ] 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 ] David Pearce Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] WLP, 2000, pp:17- [Conf ] 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 ] 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 ] David Pearce Equilibrium logic. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2006, v:47, n:1-2, pp:3-41 [Journal ] 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 ] David Pearce Stable Inference as Intuitionistic Validity. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1999, v:38, n:1, pp:79-91 [Journal ] 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 ] 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 ] 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 ] 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 ] Pedro Cabalar , David Pearce , Agustín Valverde Minimal Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 2007, pp:104-118 [Conf ] 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 ] 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 ] TCP Quick-Adjust by Utilizing Explicit Link Characteristic Information. [Citation Graph (, )][DBLP ] Well-Founded and Partial Stable Semantics Logical Aspects. [Citation Graph (, )][DBLP ] Sixty Years of Stable Models. [Citation Graph (, )][DBLP ] Quantified Equilibrium Logic and Foundations for Answer Set Programs. [Citation Graph (, )][DBLP ] A Logical Semantics for Description Logic Programs. [Citation Graph (, )][DBLP ] Minimal Knowledge and Belief via Minimal Topology. [Citation Graph (, )][DBLP ] A Revised Concept of Safety for General Answer Set Programs. [Citation Graph (, )][DBLP ] Interpretability and Equivalence in Quantified Equilibrium Logic. [Citation Graph (, )][DBLP ] Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. [Citation Graph (, )][DBLP ] Characterising equilibrium logic and nested logic programs: Reductions and complexity [Citation Graph (, )][DBLP ] Search in 0.027secs, Finished in 0.030secs