The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Agustín Valverde" ( http://dblp.L3S.de/Authors/Agustín_Valverde )

  Author page on DBLP  Author page in RDF  Community of Agustín Valverde in ASPL-2

Publication years (Num. hits)
1995-2002 (18) 2003-2007 (21) 2008-2017 (15) 2018 (1)
Publication types (Num. hits)
article(21) inproceedings(33) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 9 keywords

Results
Found 56 publication records. Showing 55 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Answer Set Programming from a Logical Point of View. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Infinitary equilibrium logic and strongly equivalent logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Stable reasoning. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde On the Properties of Atom Definability and Well-Supportedness in Logic Programming. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Infinitary Equilibrium Logic and Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, David Pearce 0001, Agustín Valverde Interpolable Formulas in Equilibrium Logic and Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pedro Cabalar, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde A Free Logic for Stable Models with Partial Intensional Functions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Agustín Valverde Foreword. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Synonymous theories and knowledge representations in answer set programming. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde Bi-state Logic. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, David Pearce 0001, Agustín Valverde Interpolable Formulas in Equilibrium Logic and Answer Set Programming. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  BibTeX  RDF
1Dov M. Gabbay, David Pearce 0001, Agustín Valverde Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Jos de Bruijn, David Pearce 0001, Axel Polleres, Agustín Valverde A semantical framework for hybrid knowledge bases. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde A Revised Concept of Safety for General Answer Set Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Quantified Equilibrium Logic and Foundations for Answer Set Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde Powersets of terms and composite monads. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde Partial equilibrium logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B60, 03B55
1David Pearce 0001, Axel Polleres, Agustín Valverde, Stefan Woltran (eds.) Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007 Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
1Vladimir Lifschitz, David Pearce 0001, Agustín Valverde A Characterization of Strong Equivalence for Logic Programs with Variables. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Interpretability and Equivalence in Quantified Equilibrium Logic. Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Minimal Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF minimisation of boolean and multivalued functions, logic programming, answer set programming
1Jos de Bruijn, David Pearce 0001, Axel Polleres, Agustín Valverde Quantified Equilibrium Logic and Hybrid Rules. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde On the Logic and Computation of Partial Equilibrium Models. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde A First Order Nonmonotonic Extension of Constructive Logic. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF here-and-there logic, equilibrium logic, interpolation, answer set programming, Constructive negation
1Patrik Eklund, Maria A. Galán, Werner Gähler, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde A note on partially ordered generalized terms. Search on Bibsonomy EUSFLAT Conf. The full citation details ... 2005 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Search on Bibsonomy EPIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde Similarities between powersets of terms. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Uniform Equivalence for Equilibrium Logic and Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Manuel Ojeda-Aciego, Agustín Valverde tascpl: TAS Solver for Classical Propositional Logic. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Agustín Valverde tabeql: A Tableau Based Suite for Equilibrium Logic. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Synonymus Theories in Answer Set Programming and Equilibrium Logic. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás Towards Biresiduated Multi-adjoint Logic Programming. Search on Bibsonomy CAEPIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde Satisfiability Testing for Boolean Formulas Using Delta-trees. Search on Bibsonomy Studia Logica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde A categorical approach to unification of generalised terms. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás Non-commutativity and Expressive Deductive Logic Databases. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. Search on Bibsonomy IBERAMIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde Restricted Delta-Trees in Multiple-Valued Logics. Search on Bibsonomy AIMSA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Knowledge Representation, Automated Reasoning
1Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Strongly equivalent logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logic programming, stable models, answer sets
1Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde Reductions for non-clausal theorem proving. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde Composing Submonads. Search on Bibsonomy ISMVL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Abduction in equilibrium logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde A graphical approach to monad compositions. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde Reduction Theorems for Boolean Formulas Using Delta-Trees. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Inman P. de Guzmán, Agustín Valverde Computing Equilibrium Models Using Signed Formulas. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Inman P. de Guzmán, Agustín Valverde A Tableau Calculus for Equilibrium Entailment. Search on Bibsonomy TABLEAUX The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde Implicates and reduction techniques for temporal logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde Multiple-Valued Tableaux with delta-reductions. Search on Bibsonomy IC-AI The full citation details ... 1999 DBLP  BibTeX  RDF
1Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde Reducing signed propositional formulas. Search on Bibsonomy Soft Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde Implicates and Reduction Techniques for Temporal Logics. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. Search on Bibsonomy Acta Inf. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #55 of 55 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license