Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
David Pearce
2010 – today
- 2012
[j12]David Pearce, Agustín Valverde: Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci. 78(1): 86-104 (2012)- [c56]
- [c55]Stefania Costantini, Andrea Formisano, David Pearce: Strong Equivalence of RASP Programs. Correct Reasoning 2012: 149-163
- [c54]Luis Fariñas del Cerro, David Pearce, Agustín Valverde: Bi-state Logic. Correct Reasoning 2012: 265-278
- [e6]Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce (Eds.): Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science 7265, Springer 2012, ISBN 978-3-642-30742-3
- 2011
- [j11]Dov M. Gabbay, David Pearce, Agustín Valverde: Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. (JAIR) 42: 917-943 (2011)
- [c53]David Pearce, Levan Uridia: An Approach to Minimal Belief via Objective Belief. IJCAI 2011: 1045-1050
- [c52]David Pearce: Foundations and Extensions of Answer Set Programming: The Logical Approach. LPNMR 2011: 10-11
- 2010
- [j10]Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde: A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. 25(1): 81-104 (2010)
- [c51]
- [c50]
- [i3]Dov M. Gabbay, David Pearce, Agustín Valverde: Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case. CoRR abs/1012.3947 (2010)
2000 – 2009
- 2009
- [j9]David Pearce, Hans Tompits, Stefan Woltran: Characterising equilibrium logic and nested logic programs: Reductions and complexity, . TPLP 9(5): 565-616 (2009)
- [c49]Pedro Cabalar, Sergei P. Odintsov, David Pearce: Well-Founded and Partial Stable Semantics Logical Aspects. CSR 2009: 1-11
- [c48]Pedro Cabalar, David Pearce, Agustín Valverde: A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70
- [i2]David Pearce, Hans Tompits, Stefan Woltran: Characterising equilibrium logic and nested logic programs: Reductions and complexity. CoRR abs/0906.2228 (2009)
- 2008
- [c47]
- [c46]David Pearce, Agustín Valverde: Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP 2008: 546-560
- 2007
- [j8]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007)
- [c45]
- [c44]Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge: A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57
- [c43]Vladimir Lifschitz, David Pearce, Agustín Valverde: A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200
- [c42]David Pearce, Hans Tompits, Stefan Woltran: Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. CENT 2007
- [c41]David Pearce, Agustín Valverde: Interpretability and Equivalence in Quantified Equilibrium Logic. CENT 2007
- [c40]Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde: Quantified Equilibrium Logic and Hybrid Rules. RR 2007: 58-72
- [e5]Axel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus (Eds.): Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007. CEUR Workshop Proceedings 287, CEUR-WS.org 2007
- [e4]David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran (Eds.): Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, May 14, 2007. CEUR Workshop Proceedings 265, CEUR-WS.org 2007
- 2006
- [j7]
- [c39]Pedro Cabalar, Sergei P. Odintsov, David Pearce: Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA 2006: 592-601
- [c38]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP 2006: 346-360
- [c37]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94
- [c36]Pedro Cabalar, Sergei P. Odintsov, David Pearce: Logical Foundations of Well-Founded Semantics. KR 2006: 25-35
- 2005
- [j6]David Pearce, Agustín Valverde: A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80(2-3): 321-346 (2005)
- [j5]David Pearce: On The Effects of Intracell Handoff on Resource Allocation Algorithms for Fixed Wireless Access Systems. Wireless Personal Communications 32(2): 127-138 (2005)
- [c35]Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005
- [c34]David Pearce: Some Methodological Issues for Intelligent Information Systems. CAiSE Workshops (2) 2005: 489-498
- [c33]Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17
- [c32]David Pearce, Jonathan Engelsma, James C. Ferrans, John Johnson: An architecture for seamless access to distributed multimodal services. INTERSPEECH 2005: 2845-2848
- [c31]
- 2004
- [c30]David Pearce, Agustín Valverde: Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI 2004: 388-392
- [c29]
- [c28]David Pearce, Agustín Valverde: Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA 2004: 147-160
- [c27]David Pearce, Agustín Valverde: Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR 2004: 194-206
- 2003
- [c26]David Pearce, Agustín Valverde: Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE 2003: 350-361
- 2002
- [c25]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. ICLP 2002: 405-420
- [c24]Holly Kelleher, David Pearce, Douglas Ealey, Laurent Mauuary: Speech recognition performance comparison between DSR and AMR transcoded speech. INTERSPEECH 2002
- [c23]Duncan Macho, Laurent Mauuary, Bernhard Noé, Yan Ming Cheng, Douglas Ealey, Denis Jouvet, Holly Kelleher, David Pearce, Fabien Saadoun: Evaluation of a noise-robust DSR front-end on Aurora databases. INTERSPEECH 2002
- [c22]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. NMR 2002: 57-66
- [i1]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. CoRR cs.AI/0207071 (2002)
- 2001
- [j4]Vladimir Lifschitz, David Pearce, Agustín Valverde: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4): 526-541 (2001)
- [c21]
- [c20]David Pearce, Hans Tompits, Stefan Woltran: Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. EPIA 2001: 306-320
- [c19]Yan Ming Cheng, Dusan Macho, Yuanjun Wei, Douglas Ealey, Holly Kelleher, David Pearce, William Kushner, Tenkasi Ramabadran: A robust front-end algorithm for distributed speech recognition. INTERSPEECH 2001: 425-428
- [c18]Douglas Ealey, Holly Kelleher, David Pearce: Harmonic tunnelling: tracking non-stationary noises during speech. INTERSPEECH 2001: 437-440
- 2000
- [c17]David Pearce, Inman P. de Guzmán, Agustín Valverde: Computing Equilibrium Models Using Signed Formulas. Computational Logic 2000: 688-702
- [c16]David Pearce, Hans-Gnter Hirsch: The aurora experimental framework for the performance evaluation of speech recognition systems under noisy conditions. INTERSPEECH 2000: 29-32
- [c15]David Pearce, Inman P. de Guzmán, Agustín Valverde: A Tableau Calculus for Equilibrium Entailment. TABLEAUX 2000: 352-367
- [c14]David Pearce: Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. WLP 2000: 17
1990 – 1999
- 1999
- [j3]
- 1998
- [j2]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. Nucleic Acids Research 26(1): 239-241 (1998)
- 1997
- [j1]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. Nucleic Acids Research 25(1): 163-165 (1997)
- 1996
- [c13]David Pearce: Answer Sets and Constructive Logic. Part 1: Monotonic Databases. Logic, Action, and Information 1996: 392-414
- [c12]
- 1995
- [c11]
- 1994
- [c10]David Pearce: Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. WLP 1994: 52-55
- [e3]Craig MacNish, David Pearce, Luís Moniz Pereira (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings. Lecture Notes in Computer Science 838, Springer 1994, ISBN 3-540-58332-7
- 1993
- [c9]
- [c8]David Pearce: Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. LPNMR 1993: 457-475
- 1992
- [c7]
- [c6]Heinrich Herre, David Pearce: Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA 1992: 391-410
- [e2]David Pearce, Heinrich Wansing (Eds.): Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings. Lecture Notes in Computer Science 619, Springer 1992, ISBN 3-540-55745-8
- [e1]David Pearce, Gerd Wagner (Eds.): Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings. Lecture Notes in Computer Science 633, Springer 1992, ISBN 3-540-55887-X
- 1991
- [c5]
- 1990
- [c4]David Pearce: Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. Nonclassical Logics and Information Processing 1990: 63-79
1980 – 1989
- 1989
- [c3]
- [c2]David Pearce, E. Grant: A qualitative modelling environment for design & diagnosis of automation. IEA/AIE (1) 1989: 192-196
- [c1]David Pearce, Wolfgang Rautenberg: Propositional logic based on the dynamics of disbelief. The Logic of Theory Change 1989: 243-258
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-24 23:07 CEST by the dblp team