| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Pearce, Agustín Valverde |
Synonymous theories and knowledge representations in answer set programming.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, David Pearce, Agustín Valverde |
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde |
A semantical framework for hybrid knowledge bases. |
Knowl. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, David Pearce, Agustín Valverde |
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce, Agustín Valverde |
A Revised Concept of Safety for General Answer Set Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Quantified Equilibrium Logic and Foundations for Answer Set Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde |
Partial equilibrium logic. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 03B60, 03B55 |
| 1 | Pedro Cabalar, David Pearce, Agustín Valverde |
Minimal Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
minimisation of boolean and multivalued functions, logic programming, answer set programming |
| 1 | Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde |
Quantified Equilibrium Logic and Hybrid Rules. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
CENT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, David Pearce, Agustín Valverde |
A Characterization of Strong Equivalence for Logic Programs with Variables. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Interpretability and Equivalence in Quantified Equilibrium Logic. |
CENT |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde |
On the Logic and Computation of Partial Equilibrium Models. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
A First Order Nonmonotonic Extension of Constructive Logic. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
here-and-there logic, equilibrium logic, interpolation, answer set programming, Constructive negation |
| 1 | Pedro Cabalar, David Pearce, Agustín Valverde |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce, Agustín Valverde |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde |
Similarities between powersets of terms. |
Fuzzy Sets and Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Synonymus Theories in Answer Set Programming and Equilibrium Logic. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustín Valverde |
tabeql: A Tableau Based Suite for Equilibrium Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Ojeda-Aciego, Agustín Valverde |
tascpl: TAS Solver for Classical Propositional Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Uniform Equivalence for Equilibrium Logic and Logic Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás |
Towards Biresiduated Multi-adjoint Logic Programming. |
CAEPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Restricted Delta-Trees in Multiple-Valued Logics. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
Knowledge Representation, Automated Reasoning |
| 1 | Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Reductions for non-clausal theorem proving. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, David Pearce, Agustín Valverde |
Strongly equivalent logic programs. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
logic programming, stable models, answer sets |
| 1 | Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde |
Composing Submonads. |
ISMVL |
2001 |
DBLP BibTeX RDF |
|
| 1 | David Pearce, Agustín Valverde |
Abduction in equilibrium logic. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Inman P. de Guzmán, Agustín Valverde |
A Tableau Calculus for Equilibrium Entailment. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pearce, Inman P. de Guzmán, Agustín Valverde |
Computing Equilibrium Models Using Signed Formulas. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Implicates and reduction techniques for temporal logics. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Multiple-Valued Tableaux with delta-reductions. |
IC-AI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Reducing signed propositional formulas. |
Soft Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Implicates and Reduction Techniques for Temporal Logics. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")