Agustín Valverde

Publication Activity (10 Years)

Years Active: 1995-2018
Publications (10 Years): 5

Top Topics

Propositional Theories

Knowledge Representation

Answer Set Programming

Top Venues

J. Appl. Non Class. Logics

J. Comput. Syst. Sci.

Publications

Pedro Cabalar, David Pearce, Agustín Valverde
Answer Set Programming from a Logical Point of View. Künstliche Intell. 32 (2-3) (2018)
Pedro Cabalar, David Pearce, Agustín Valverde
Stable reasoning. J. Appl. Non Class. Logics 27 (3-4) (2017)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA (2017)
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. 246 (2017)
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
Infinitary Equilibrium Logic and Strong Equivalence. LPNMR (2015)
Dov M. Gabbay, David Pearce, Agustín Valverde
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. CoRR (2014)
Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
A Free Logic for Stable Models with Partial Intensional Functions. JELIA (2014)
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. IJCAI (2013)
Pedro Cabalar, Agustín Valverde
Foreword. J. Appl. Non Class. Logics 23 (1-2) (2013)
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Bi-state Logic. Correct Reasoning (2012)
David Pearce, Agustín Valverde
Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci. 78 (1) (2012)
Dov M. Gabbay, David Pearce, Agustín Valverde
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. 42 (2011)
Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. 25 (1) (2010)
Dov M. Gabbay, David Pearce, Agustín Valverde
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case CoRR (2010)
Pedro Cabalar, David Pearce, Agustín Valverde
A Revised Concept of Safety for General Answer Set Programs. LPNMR (2009)
David Pearce, Agustín Valverde
Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP (2008)
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
Partial equilibrium logic. Ann. Math. Artif. Intell. 50 (3-4) (2007)
Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
Quantified Equilibrium Logic and Hybrid Rules. RR (2007)
Pedro Cabalar, David Pearce, Agustín Valverde
Minimal Logic Programs. ICLP (2007)
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
Powersets of terms and composite monads. Fuzzy Sets Syst. 158 (23) (2007)
David Pearce, Agustín Valverde
Interpretability and Equivalence in Quantified Equilibrium Logic. CENT (2007)
Vladimir Lifschitz, David Pearce, Agustín Valverde
A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR (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)
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
On the Logic and Computation of Partial Equilibrium Models. JELIA (2006)
David Pearce, Agustín Valverde
A First Order Nonmonotonic Extension of Constructive Logic. Stud Logica 80 (2-3) (2005)
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)
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)
David Pearce, Agustín Valverde
Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR (2004)
Agustín Valverde
tabeql: A Tableau Based Suite for Equilibrium Logic. JELIA (2004)
David Pearce, Agustín Valverde
Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI (2004)
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
Similarities between powersets of terms. Fuzzy Sets Syst. 144 (1) (2004)
David Pearce, Agustín Valverde
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA (2004)
Manuel Ojeda-Aciego, Agustín Valverde
tascpl: TAS Solver for Classical Propositional Logic. JELIA (2004)
Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
Towards Biresiduated Multi-adjoint Logic Programming. CAEPIA (2003)
David Pearce, Agustín Valverde
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE (2003)
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Restricted Delta-Trees in Multiple-Valued Logics. AIMSA (2002)
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)
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA (2002)
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
A categorical approach to unification of generalised terms. Electron. Notes Theor. Comput. Sci. 66 (5) (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. Stud Logica 72 (1) (2002)
David Pearce, Agustín Valverde
Abduction in equilibrium logic. Answer Set Programming (2001)
Vladimir Lifschitz, David Pearce, Agustín Valverde
Strongly equivalent logic programs. ACM Trans. Comput. Log. 2 (4) (2001)
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
Composing Submonads. ISMVL (2001)
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) (2001)
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)
David Pearce, Inman P. de Guzmán, Agustín Valverde
Computing Equilibrium Models Using Signed Formulas. Computational Logic (2000)
David Pearce, Inman P. de Guzmán, Agustín Valverde
A Tableau Calculus for Equilibrium Entailment. TABLEAUX (2000)
Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
A graphical approach to monad compositions. Electron. Notes Theor. Comput. Sci. 40 (2000)
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) (1999)
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Multiple-Valued Tableaux with delta-reductions. IC-AI (1999)
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Reducing signed propositional formulas. Soft Comput. 2 (4) (1998)
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Implicates and Reduction Techniques for Temporal Logics. JELIA (1998)
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 Informatica 32 (1) (1995)