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

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

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

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

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

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

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

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

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

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

From here to there: Stable negation in logic programming D Pearce What is Negation?, 161-181, 1999 | 59 | 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 | 50 | 2002 |

Quantified equilibrium logic and hybrid rules J De Bruijn, D Pearce, A Polleres, A Valverde Web Reasoning and Rule Systems, 58-72, 2007 | 49 | 2007 |

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

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

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

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

A first order nonmonotonic extension of constructive logic D Pearce, A Valverde Studia Logica 80 (2-3), 321-346, 2005 | 42 | 2005 |

Is there any theoretical justification for a nonstatement view of theories? D Pearce Synthese 46 (1), 1-39, 1981 | 41 | 1981 |