Agustín Valverde

David Pearce, Agustín Valverde: Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci. 78(1): 86-104 (2012)

Luis Fariñas del Cerro, David Pearce, Agustín Valverde: Bi-state Logic. Correct Reasoning 2012: 265-278

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

Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde: A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. 25(1): 81-104 (2010)

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

Pedro Cabalar, David Pearce, Agustín Valverde: A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70

David Pearce, Agustín Valverde: Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP 2008: 546-560

Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007)

Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: Powersets of terms and composite monads. Fuzzy Sets and Systems 158(23): 2552-2574 (2007)

Pedro Cabalar, David Pearce, Agustín Valverde: Minimal Logic Programs. ICLP 2007: 104-118

Vladimir Lifschitz, David Pearce, Agustín Valverde: A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200

David Pearce, Agustín Valverde: Interpretability and Equivalence in Quantified Equilibrium Logic. CENT 2007

Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde: Quantified Equilibrium Logic and Hybrid Rules. RR 2007: 58-72

David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran (Eds.): Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, May 14, 2007. CEUR Workshop Proceedings 265, CEUR-WS.org 2007

Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP 2006: 346-360

Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94

David Pearce, Agustín Valverde: A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80(2-3): 321-346 (2005)

Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005

Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17

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

Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: Similarities between powersets of terms. Fuzzy Sets and Systems 144(1): 213-225 (2004)

David Pearce, Agustín Valverde: Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI 2004: 388-392

David Pearce, Agustín Valverde: Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA 2004: 147-160

Agustín Valverde: tabeql: A Tableau Based Suite for Equilibrium Logic. JELIA 2004: 734-737

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

David Pearce, Agustín Valverde: Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR 2004: 194-206

David Pearce, Agustín Valverde: Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE 2003: 350-361

Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás: Towards Biresiduated Multi-adjoint Logic Programming. CAEPIA 2003: 608-617

Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: A categorical approach to unification of generalised terms. Electr. Notes Theor. Comput. Sci. 66(5): 41-51 (2002)

Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde: Satisfiability Testing for Boolean Formulas Using Delta-trees. Studia Logica 72(1): 85-112 (2002)

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

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

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

Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Reductions for non-clausal theorem proving. Theor. Comput. Sci. 266(1-2): 81-112 (2001)

Vladimir Lifschitz, David Pearce, Agustín Valverde: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4): 526-541 (2001)

David Pearce, Agustín Valverde: Abduction in equilibrium logic. Answer Set Programming 2001

Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: Composing Submonads. ISMVL 2001: 367-372

Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: A graphical approach to monad compositions. Electr. Notes Theor. Comput. Sci. 40: 145-160 (2000)

David Pearce, Inman P. de Guzmán, Agustín Valverde: Computing Equilibrium Models Using Signed Formulas. Computational Logic 2000: 688-702

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

David Pearce, Inman P. de Guzmán, Agustín Valverde: A Tableau Calculus for Equilibrium Entailment. TABLEAUX 2000: 352-367

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

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

Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Reducing signed propositional formulas. Soft Comput. 2(4): 157-166 (1998)

Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and Reduction Techniques for Temporal Logics. JELIA 1998: 309-323

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