Follow
David Pearce
Title
Cited by
Cited by
Year
Strongly equivalent logic programs
V Lifschitz, D Pearce, A Valverde
ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001
6352001
A new logical characterisation of stable models and answer sets
D Pearce
Non-Monotonic Extensions of Logic Programming, 57-70, 1997
3291997
Equilibrium logic
D Pearce
Annals of Mathematics and Artificial Intelligence 47 (1-2), 3-41, 2006
1832006
Stable inference as intuitionistic validity
D Pearce
The Journal of Logic Programming 38 (1), 79-91, 1999
1231999
Encodings for equilibrium logic and logic programs with nested expressions
D Pearce, H Tompits, S Woltran
Progress in Artificial Intelligence, 306-320, 2001
1082001
Roads to commensurability
D Pearce
Springer Science & Business Media, 2012
1072012
Reasoning with negative information I: Strong negation in logic programs
D Pearce, G Wagner
Language, Knowledge and Intentionality 49, 430-453, 1990
981990
Reduction in science: Structure, examples, philosophical problems
W Balzer, D Pearce, HJ Schmidt
Springer Science & Business Media, 2012
942012
Reduction in science
W Balzer, DA Pearce, HJ Schmidt
Reidel, Dordrecht, 1984
94*1984
Logic programming with strong negation
D Pearce, G Wagner
Extensions of Logic Programming, 311-326, 1991
831991
A characterization of strong equivalence for logic programs with variables
V Lifschitz, D Pearce, A Valverde
Logic Programming and Nonmonotonic Reasoning, 188-200, 2007
742007
From here to there: Stable negation in logic programming
D Pearce
What is Negation?, 161-181, 1999
641999
Towards a first order equilibrium logic for nonmonotonic reasoning
D Pearce, A Valverde
Logics in Artificial Intelligence, 147-160, 2004
572004
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: Preliminary report
D Pearce, V Sarsakov, T Schaub, H Tompits, S Woltran
Logic Programming, 405-420, 2002
542002
Quantified equilibrium logic and foundations for answer set programs
D Pearce, A Valverde
Logic Programming, 546-560, 2008
532008
Logical properties of the structuralist concept of reduction
D Pearce
Erkenntnis 18 (3), 307-333, 1982
501982
Quantified equilibrium logic and hybrid rules
J De Bruijn, D Pearce, A Polleres, A Valverde
Web Reasoning and Rule Systems, 58-72, 2007
492007
New foundations for metascience
D Pearce, V Rantala
Synthese 56 (1), 1-26, 1983
491983
Minimal logic programs (extended report)
P Cabalar, D Pearce, A Valverde
Technical report, 2007
48*2007
Minimal logic programs
P Cabalar, D Pearce, A Valverde
Logic Programming, 104-118, 2007
482007
The system can't perform the operation now. Try again later.
Articles 1–20