Strongly equivalent logic programs V Lifschitz, D Pearce, A Valverde ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001 | 582 | 2001 |

A new logical characterisation of stable models and answer sets D Pearce Non-Monotonic Extensions of Logic Programming, 57-70, 1997 | 290 | 1997 |

A new logical characterisation of stable models D Pearce Non-monotonic Extensions of Logic Programming: Theory, Implementation and …, 0 | 290* | |

Equilibrium logic D Pearce Annals of Mathematics and Artificial Intelligence 47 (1-2), 3-41, 2006 | 163 | 2006 |

Stable inference as intuitionistic validity D Pearce The Journal of Logic Programming 38 (1), 79-91, 1999 | 122 | 1999 |

Roads to commensurability D Pearce Springer Science & Business Media, 2012 | 108 | 2012 |

Reasoning with negative information I: Strong negation in logic programs D Pearce, G Wagner Language, Knowledge and Intentionality 49, 430-453, 1990 | 95 | 1990 |

Encodings for equilibrium logic and logic programs with nested expressions D Pearce, H Tompits, S Woltran Progress in Artificial Intelligence, 306-320, 2001 | 94 | 2001 |

Reduction in science: Structure, examples, philosophical problems W Balzer, D Pearce, HJ Schmidt Springer Science & Business Media, 2012 | 88 | 2012 |

Reduction in science W Balzer, DA Pearce, HJ Schmidt Reidel, Dordrecht, 1984 | 88* | 1984 |

Logic programming with strong negation D Pearce, G Wagner Extensions of Logic Programming, 311-326, 1991 | 85 | 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 | 68 | 2007 |

From here to there: Stable negation in logic programming D Pearce What is Negation?, 161-181, 1999 | 63 | 1999 |

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 |

Towards a first order equilibrium logic for nonmonotonic reasoning D Pearce, A Valverde Logics in Artificial Intelligence, 147-160, 2004 | 50 | 2004 |

Quantified equilibrium logic and foundations for answer set programs D Pearce, A Valverde Logic Programming, 546-560, 2008 | 48 | 2008 |

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 | 44 | 2000 |

Reasoning with negative information, II: Hard negation, strong negation and logic programs D Pearce Nonclassical logics and information processing, 63-79, 1992 | 44 | 1992 |

Logical properties of the structuralist concept of reduction D Pearce Erkenntnis 18 (3), 307-333, 1982 | 43 | 1982 |