A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Acta Informatica, 1995)

Reducing signed propositional formulas. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Soft Comput., 1998)

Multiple-Valued Tableaux with delta-reductions. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (IC-AI, 1999)

Implicates and reduction techniques for temporal logics. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Ann. Math. Artif. Intell., 1999)

Computing Equilibrium Models Using Signed Formulas. - David Pearce 001; Inman P. de Guzmán; Agustín Valverde (Computational Logic, 2000)

Reduction Theorems for Boolean Formulas Using Delta-Trees. - Gloria Gutiérrez; Inman P. de Guzmán; Javier Martínez 001; Manuel Ojeda-Aciego; Agustín Valverde (JELIA, 2000)

A Tableau Calculus for Equilibrium Entailment. - David Pearce 001; Inman P. de Guzmán; Agustín Valverde (TABLEAUX, 2000)

A graphical approach to monad compositions. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (MFCSIT, 2000)

Abduction in equilibrium logic. - David Pearce 001; Agustín Valverde (Answer Set Programming, 2001)

Composing Submonads. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (ISMVL, 2001)

Reductions for non-clausal theorem proving. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Theor. Comput. Sci., 2001)

Strongly equivalent logic programs. - Vladimir Lifschitz; David Pearce 001; Agustín Valverde (ACM Trans. Comput. Log., 2001)

Restricted Delta-Trees in Multiple-Valued Logics. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (AIMSA, 2002)

Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. - Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (IBERAMIA, 2002)

Non-commutativity and Expressive Deductive Logic Databases. - Stanislav Krajci; Rastislav Lencses; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde; Peter Vojtás (JELIA, 2002)

A categorical approach to unification of generalised terms. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (UNCL@ICALP, 2002)

Satisfiability Testing for Boolean Formulas Using Delta-trees. - Gloria Gutiérrez; Inman P. de Guzmán; Javier Martínez 001; Manuel Ojeda-Aciego; Agustín Valverde (Stud Logica, 2002)

Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. - David Pearce 001; Agustín Valverde (APPIA-GULP-PRODE, 2003)

Towards Biresiduated Multi-adjoint Logic Programming. - Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde; Peter Vojtás (CAEPIA, 2003)

Synonymus Theories in Answer Set Programming and Equilibrium Logic. - David Pearce 001; Agustín Valverde (ECAI, 2004)

tascpl: TAS Solver for Classical Propositional Logic. - Manuel Ojeda-Aciego; Agustín Valverde (JELIA, 2004)

Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. - David Pearce 001; Agustín Valverde (JELIA, 2004)

tabeql: A Tableau Based Suite for Equilibrium Logic. - Agustín Valverde (JELIA, 2004)

Uniform Equivalence for Equilibrium Logic and Logic Programs. - David Pearce 001; Agustín Valverde (LPNMR, 2004)

Similarities between powersets of terms. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (Fuzzy Sets Syst., 2004)

Reducing Propositional Theories in Equilibrium Logic to Logic Programs. - Pedro Cabalar; David Pearce 001; Agustín Valverde (Answer Set Programming, 2005)

A note on partially ordered generalized terms. - Patrik Eklund; Maria A. Galán; Werner Gähler; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (EUSFLAT Conf., 2005)

A First Order Nonmonotonic Extension of Constructive Logic. - David Pearce 001; Agustín Valverde (Stud Logica, 2005)

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001; Agustín Valverde (ICLP, 2006)

On the Logic and Computation of Partial Equilibrium Models. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001; Agustín Valverde (JELIA, 2006)

Minimal Logic Programs. - Pedro Cabalar; David Pearce 001; Agustín Valverde (ICLP, 2007)

A Characterization of Strong Equivalence for Logic Programs with Variables. - Vladimir Lifschitz; David Pearce 001; Agustín Valverde (LPNMR, 2007)

Interpretability and Equivalence in Quantified Equilibrium Logic. - David Pearce 001; Agustín Valverde (CENT, 2007)

Quantified Equilibrium Logic and Hybrid Rules. - Jos de Bruijn; David Pearce 001; Axel Polleres; Agustín Valverde (RR, 2007)

Partial equilibrium logic. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001; Agustín Valverde (Ann. Math. Artif. Intell., 2007)

Powersets of terms and composite monads. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (Fuzzy Sets Syst., 2007)

Quantified Equilibrium Logic and Foundations for Answer Set Programs. - David Pearce 001; Agustín Valverde (ICLP, 2008)

A Revised Concept of Safety for General Answer Set Programs. - Pedro Cabalar; David Pearce 001; Agustín Valverde (LPNMR, 2009)

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case - Dov M. Gabbay; David Pearce 001; Agustín Valverde (CoRR, 2010)

A semantical framework for hybrid knowledge bases. - Jos de Bruijn; David Pearce 001; Axel Polleres; Agustín Valverde (Knowl. Inf. Syst., 2010)

Interpolable Formulas in Equilibrium Logic and Answer Set Programming. - Dov M. Gabbay; David Pearce 001; Agustín Valverde (J. Artif. Intell. Res., 2011)

Bi-state Logic. - Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (Correct Reasoning, 2012)

Synonymous theories and knowledge representations in answer set programming. - David Pearce 001; Agustín Valverde (J. Comput. Syst. Sci., 2012)

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. - Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (IJCAI, 2013)

Foreword. - Pedro Cabalar; Agustín Valverde (J. Appl. Non Class. Logics, 2013)

A Free Logic for Stable Models with Partial Intensional Functions. - Pedro Cabalar; Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (JELIA, 2014)

Infinitary Equilibrium Logic and Strong Equivalence. - Amelia Harrison; Vladimir Lifschitz; David Pearce 001; Agustín Valverde (LPNMR, 2015)

On the Properties of Atom Definability and Well-Supportedness in Logic Programming. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (EPIA, 2017)

Infinitary equilibrium logic and strongly equivalent logic programs. - Amelia Harrison; Vladimir Lifschitz; David Pearce 001; Agustín Valverde (Artif. Intell., 2017)

Stable reasoning. - Pedro Cabalar; David Pearce 001; Agustín Valverde (J. Appl. Non Class. Logics, 2017)

Answer Set Programming from a Logical Point of View. - Pedro Cabalar; David Pearce 001; Agustín Valverde (Künstliche Intell., 2018)