David Pearce

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

Coauthor Index

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

Colors in the list of coauthors