| 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 |
| 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 |
| 2009 | LPNMR | A Revised Concept of Safety for General Answer Set Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 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 Characterization of Strong Equivalence for Logic Programs with Variables. | Vladimir Lifschitz, David Pearce, Agustn Valverde |
| 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 |
| 2005 | EPIA | Reducing Propositional Theories in Equilibrium Logic to Logic Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 2005 | EUSFLAT | A note on partially ordered generalized terms. | Patrik Eklund, Maria A. Galn, Werner Ghler, Jess Medina, Manuel Ojeda-Aciego, Agustn Valverde |
| 2004 | ECAI | Synonymus Theories in Answer Set Programming and Equilibrium Logic. | David Pearce, Agustn Valverde |
| 2004 | JELIA | tascpl: TAS Solver for Classical Propositional Logic. | Manuel Ojeda-Aciego, Agustn Valverde |
| 2004 | JELIA | Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. | David Pearce, Agustn Valverde |
| 2004 | JELIA | tabeql: A Tableau Based Suite for Equilibrium Logic. | Agustn Valverde |
| 2004 | LPNMR | Uniform Equivalence for Equilibrium Logic and Logic Programs. | David Pearce, Agustn Valverde |
| 2002 | AIMSA | Restricted Delta-Trees in Multiple-Valued Logics. | Inman P. de Guzmn, Manuel Ojeda-Aciego, Agustn Valverde |
| 2002 | JELIA | Non-commutativity and Expressive Deductive Logic Databases. | Stanislav Krajci, Rastislav Lencses, Jess Medina, Manuel Ojeda-Aciego, Agustn Valverde, Peter Vojts |
| 2000 | JELIA | Reduction Theorems for Boolean Formulas Using Delta-Trees. | Gloria Gutirrez, Inman P. de Guzmn, Javier Martnez, Manuel Ojeda-Aciego, Agustn Valverde |
| 2000 | TABLEAUX | A Tableau Calculus for Equilibrium Entailment. | David Pearce, Inman P. de Guzmn, Agustn Valverde |
| 1998 | JELIA | Implicates and Reduction Techniques for Temporal Logics. | Inman P. de Guzmn, Manuel Ojeda-Aciego, Agustn Valverde |