David Pearce Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, Sergei P. Odintsov, David Pearce: Well-Founded and Partial Stable Semantics Logical Aspects. CSR 2009: 1-11
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, David Pearce, Agustín Valverde: A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Hans Tompits, Stefan Woltran: Characterising equilibrium logic and nested logic programs: Reductions and complexity CoRR abs/0906.2228: (2009)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Hans Tompits, Stefan Woltran: Characterising equilibrium logic and nested logic programs: Reductions and complexity, . TPLP 9(5): 565-616 (2009)
2008
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Zhang, Jouni Korhonen, SooHong Park, David Pearce: TCP Quick-Adjust by Utilizing Explicit Link Characteristic Information. AINA Workshops 2008: 1291-1298
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Sixty Years of Stable Models. ICLP 2008: 52
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Agustín Valverde: Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP 2008: 546-560
2007
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran: Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, May 14, 2007 CEUR-WS.org 2007
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus: 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-WS.org 2007
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Agustín Valverde: Interpretability and Equivalence in Quantified Equilibrium Logic. CENT 2007
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Hans Tompits, Stefan Woltran: Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. CENT 2007
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, David Pearce, Agustín Valverde: Minimal Logic Programs. ICLP 2007: 104-118
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Lifschitz, David Pearce, Agustín Valverde: A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge: A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde: Quantified Equilibrium Logic and Hybrid Rules. RR 2007: 58-72
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007)
2006
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, Sergei P. Odintsov, David Pearce: Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA 2006: 592-601
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, Sergei P. Odintsov, David Pearce: Logical Foundations of Well-Founded Semantics. KR 2006: 25-35
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Equilibrium logic. Ann. Math. Artif. Intell. 47(1-2): 3-41 (2006)
2005
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Some Methodological Issues for Intelligent Information Systems. CAiSE Workshops (2) 2005: 489-498
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei P. Odintsov, David Pearce: Routley Semantics for Answer Sets. LPNMR 2005: 343-355
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Zhang, David Pearce: Proactive care-of address test for route optimization in FMIPv6. WMASH 2005: 92-95
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Agustín Valverde: A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80(2-3): 321-346 (2005)
2004
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Agustín Valverde: Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI 2004: 388-392
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Simplifying Logic Programs Under Answer Set Semantics. ICLP 2004: 210-224
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Agustín Valverde: Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA 2004: 147-160
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Agustín Valverde: Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR 2004: 194-206
2003
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Agustín Valverde: Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE 2003: 350-361
2002
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Agustín Valverde: Abduction in equilibrium logic. Answer Set Programming 2001
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Hans Tompits, Stefan Woltran: Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. EPIA 2001: 306-320
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Lifschitz, David Pearce, Agustín Valverde: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4): 526-541 (2001)
2000
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Inman P. de Guzmán, Agustín Valverde: Computing Equilibrium Models Using Signed Formulas. Computational Logic 2000: 688-702
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Inman P. de Guzmán, Agustín Valverde: A Tableau Calculus for Equilibrium Entailment. TABLEAUX 2000: 352-367
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. WLP 2000: 17
1999
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Stable Inference as Intuitionistic Validity. J. Log. Program. 38(1): 79-91 (1999)
1998
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabeth 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabeth 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
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Answer Sets and Constructive Logic. Part 1: Monotonic Databases. Logic, Action, and Information 1996: 392-414
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: A New Logical Characterisation of Stable Models and Answer Sets. NMELP 1996: 57-70
1995
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Nonmonotonicity and Answer Set Inference. LPNMR 1995: 372-387
1994
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCraig MacNish, David Pearce, Luís Moniz Pereira: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings Springer 1994
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. WLP 1994: 52-55
1993
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Answer Sets and Nonmonotonic S4. ELP 1993: 255-267
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. LPNMR 1993: 457-475
1992
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Heinrich Wansing: Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings Springer 1992
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Gerd Wagner: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings Springer 1992
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Default Logic and Constructive Logic. ECAI 1992: 309-313
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Herre, David Pearce: Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA 1992: 391-410
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: A Model Based Approach to Validation. EUROVAV 1991: 55-67
1990
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce: Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. Nonclassical Logics and Information Processing 1990: 63-79
1989
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Gerd Wagner: Logic Programming with Strong Negation. ELP 1989: 311-326
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, E. Grant: A qualitative modelling environment for design & diagnosis of automation. IEA/AIE (1) 1989: 192-196
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Pearce, Wolfgang Rautenberg: Propositional logic based on the dynamics of disbelief. The Logic of Theory Change 1989: 243-258

Coauthor Index

1Jos de Bruijn [46]
2Pedro Cabalar [37] [39] [41] [42] [43] [44] [45] [47] [49] [59] [60]
3Mark Danielsen [17] [18]
4Bruce Gottlieb [18]
5E. Grant [2]
6Inmaculada Perez de Guzmán (Inman P. de Guzmán) [21] [22]
7Heinrich Herre [6]
8John P. Vanden Heuvel [18]
9Stijn Heymans [52]
10Evan Keller [17] [18]
11Jouni Korhonen [56]
12Vladimir Lifschitz [23] [48]
13Paul N. MacDonald [17] [18]
14Craig MacNish [13]
15Elisabeth Martinez [17] [18]
16David D. Moore [17] [18]
17Sergei P. Odintsov [36] [41] [42] [43] [44] [45] [60]
18SooHong Park [56]
19Luís Moniz Pereira (Luíz Moniz Pereira) [13]
20Axel Polleres [46] [52] [53]
21Wolfgang Rautenberg [1]
22Vincent Robinson [17] [18]
23Panos Rondogiannis (Panagiotis Rondogiannis) [47]
24Edna Ruckhaus [52]
25Eddie Sanchez [17] [18]
26Vladimir Sarsakov [26] [27] [28]
27Torsten Schaub [26] [27] [28]
28S. Stoney Simons Jr. [17] [18]
29Hans Tompits [24] [26] [27] [28] [50] [57] [58]
30Agustín Valverde [21] [22] [23] [25] [29] [30] [31] [33] [34] [37] [39] [42] [43] [45] [46] [48] [49] [51] [53] [54] [59]
31William W. Wadge [47]
32Gerd Wagner [3] [8]
33Heinrich Wansing [9]
34Stefan Woltran [24] [26] [27] [28] [50] [53] [57] [58]
35Ji Zhang [35] [56]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)