| 2023 | JELIA | Logic, Accountability and Design: Extended Abstract. | Pedro Cabalar, David Pearce |
| 2022 | LPNMR | Syntactic ASP Forgetting with Forks. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2020 | IJCAI | Forgetting Auxiliary Atoms in Forks (Extended Abstract). | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2017 | EPIA | On the Properties of Atom Definability and Well-Supportedness in Logic Programming. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2017 | LPNMR | Forgetting Auxiliary Atoms in Forks. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2016 | JELIA | On Logics of Group Belief in Structured Coalitions. | Philippe Balbiani, David Pearce, Levan Uridia |
| 2016 | JELIA | On the Expressiveness of Temporal Equilibrium Logic. | Laura Bozzelli, David Pearce |
| 2015 | LICS | On the Complexity of Temporal Equilibrium Logic. | Laura Bozzelli, David Pearce |
| 2015 | LPNMR | Infinitary Equilibrium Logic and Strong Equivalence. | Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustn Valverde |
| 2014 | JELIA | A Free Logic for Stable Models with Partial Intensional Functions. | Pedro Cabalar, Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2013 | IJCAI | FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. | Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2011 | IJCAI | An Approach to Minimal Belief via Objective Belief. | David Pearce, Levan Uridia |
| 2011 | LPNMR | Foundations and Extensions of Answer Set Programming: The Logical Approach. | David Pearce |
| 2010 | JELIA | A Logical Semantics for Description Logic Programs. | Michael Fink, David Pearce |
| 2010 | JELIA | Minimal Knowledge and Belief via Minimal Topology. | David Pearce, Levan Uridia |
| 2009 | CSR | Well-Founded and Partial Stable Semantics Logical Aspects. | Pedro Cabalar, Sergei P. Odintsov, David Pearce |
| 2009 | LPNMR | A Revised Concept of Safety for General Answer Set Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 2008 | ICLP | Sixty Years of Stable Models. | David Pearce |
| 2008 | ICLP | Quantified Equilibrium Logic and Foundations for Answer Set Programs. | David Pearce, Agustn Valverde |
| 2007 | ICLP | Minimal Logic Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 2007 | LPNMR | A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. | Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge |
| 2007 | LPNMR | A Characterization of Strong Equivalence for Logic Programs with Variables. | Vladimir Lifschitz, David Pearce, Agustn Valverde |
| 2007 | LPNMR | Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. | David Pearce, Hans Tompits, Stefan Woltran |
| 2007 | LPNMR | Interpretability and Equivalence in Quantified Equilibrium Logic. | David Pearce, Agustn Valverde |
| 2006 | ICLP | Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustn Valverde |
| 2006 | JELIA | On the Logic and Computation of Partial Equilibrium Models. | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustn Valverde |
| 2006 | KR | Logical Foundations of Well-Founded Semantics. | Pedro Cabalar, Sergei P. Odintsov, David Pearce |
| 2005 | CaiSE | Some Methodological Issues for Intelligent Information Systems. | David Pearce |
| 2005 | EPIA | Reducing Propositional Theories in Equilibrium Logic to Logic Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 2005 | Interspeech | An architecture for seamless access to distributed multimodal services. | David Pearce, Jonathan Engelsma, James C. Ferrans, John Johnson |
| 2005 | LPNMR | Routley Semantics for Answer Sets. | Sergei P. Odintsov, David Pearce |
| 2005 | PIMRC | Leader election in a personal distributed environment. | David Pearce, John Dunlop, Robert C. Atkinson |
| 2004 | ECAI | Synonymus Theories in Answer Set Programming and Equilibrium Logic. | David Pearce, Agustn Valverde |
| 2004 | ICASSP | The ETSI extended distributed speech recognition (DSR) standards: server-side speech reconstruction. | Tenkasi Ramabadran, Alexander Sorin, Michael J. McLaughlin, Dan Chazan, David Pearce, Ron Hoory |
| 2004 | ICASSP | The ETSI extended distributed speech recognition (DSR) standards: client side processing and tonal language recognition evaluation. | Alexander Sorin, Tenkasi Ramabadran, Dan Chazan, Ron Hoory, Michael J. McLaughlin, David Pearce, Fan Wang, Yaxin Zhang |
| 2004 | ICLP | Simplifying Logic Programs Under Answer Set Semantics. | David Pearce |
| 2004 | JELIA | Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. | David Pearce, Agustn Valverde |
| 2004 | LPNMR | Uniform Equivalence for Equilibrium Logic and Logic Programs. | David Pearce, Agustn Valverde |
| 2002 | ICLP | A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. | David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2002 | Interspeech | Speech recognition performance comparison between DSR and AMR transcoded speech. | Holly Kelleher, David Pearce, Douglas Ealey, Laurent Mauuary |
| 2002 | Interspeech | Evaluation of a noise-robust DSR front-end on Aurora databases. | Duncan Macho, Laurent Mauuary, Bernhard No, Yan Ming Cheng, Douglas Ealey, Denis Jouvet, Holly Kelleher, David Pearce, Fabien Saadoun |
| 2001 | EPIA | Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. | David Pearce, Hans Tompits, Stefan Woltran |
| 2001 | Interspeech | A robust front-end algorithm for distributed speech recognition. | Yan Ming Cheng, Dusan Macho, Yuanjun Wei, Douglas Ealey, Holly Kelleher, David Pearce, William Kushner, Tenkasi Ramabadran |
| 2001 | Interspeech | Harmonic tunnelling: tracking non-stationary noises during speech. | Douglas Ealey, Holly Kelleher, David Pearce |
| 2000 | Interspeech | The aurora experimental framework for the performance evaluation of speech recognition systems under noisy conditions. | David Pearce, Hans-Gnter Hirsch |
| 2000 | TABLEAUX | A Tableau Calculus for Equilibrium Entailment. | David Pearce, Inman P. de Guzmn, Agustn Valverde |
| 1995 | LPNMR | Nonmonotonicity and Answer Set Inference. | David Pearce |
| 1993 | LPNMR | Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. | David Pearce |
| 1992 | ECAI | Default Logic and Constructive Logic. | David Pearce |
| 1992 | JELIA | Disjunctive Logic Programming, Constructivity and Strong Negation. | Heinrich Herre, David Pearce |