| Strongly equivalent logic programs V Lifschitz, D Pearce, A Valverde ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001 | 637 | 2001 |
| A new logical characterisation of stable models and answer sets D Pearce Non-Monotonic Extensions of Logic Programming, 57-70, 1997 | 330 | 1997 |
| Equilibrium logic D Pearce Annals of Mathematics and Artificial Intelligence 47 (1-2), 3-41, 2006 | 186 | 2006 |
| Stable inference as intuitionistic validity D Pearce The Journal of Logic Programming 38 (1), 79-91, 1999 | 123 | 1999 |
| Encodings for equilibrium logic and logic programs with nested expressions D Pearce, H Tompits, S Woltran Progress in Artificial Intelligence, 306-320, 2001 | 107 | 2001 |
| Roads to commensurability D Pearce Springer Science & Business Media, 2012 | 105 | 2012 |
| Reasoning with negative information I: Strong negation in logic programs D Pearce, G Wagner Language, Knowledge and Intentionality 49, 430-453, 1990 | 100 | 1990 |
| Reduction in science: Structure, examples, philosophical problems W Balzer, D Pearce, HJ Schmidt Springer Science & Business Media, 2012 | 93 | 2012 |
| Reduction in science W Balzer, DA Pearce, HJ Schmidt Reidel, Dordrecht, 1984 | 93* | 1984 |
| Logic programming with strong negation D Pearce, G Wagner Extensions of Logic Programming, 311-326, 1991 | 84 | 1991 |
| A characterization of strong equivalence for logic programs with variables V Lifschitz, D Pearce, A Valverde Logic Programming and Nonmonotonic Reasoning, 188-200, 2007 | 75 | 2007 |
| From here to there: Stable negation in logic programming D Pearce What is Negation?, 161-181, 1999 | 67 | 1999 |
| Towards a first order equilibrium logic for nonmonotonic reasoning D Pearce, A Valverde Logics in Artificial Intelligence, 147-160, 2004 | 58 | 2004 |
| Quantified equilibrium logic and foundations for answer set programs D Pearce, A Valverde Logic Programming, 546-560, 2008 | 55 | 2008 |
| 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 | 51 | 2002 |
| Quantified equilibrium logic and hybrid rules J De Bruijn, D Pearce, A Polleres, A Valverde Web Reasoning and Rule Systems, 58-72, 2007 | 50 | 2007 |
| Reasoning with negative information, II: Hard negation, strong negation and logic programs D Pearce Nonclassical logics and information processing, 63-79, 1992 | 49 | 1992 |
| 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 | 48 | 2007 |
| A tableau calculus for equilibrium entailment D Pearce, IP de Guzmán, A Valverde Automated Reasoning with Analytic Tableaux and Related Methods, 352-367, 2000 | 48 | 2000 |
