The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Agustín Valverde: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Pearce, Agustín Valverde
    Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:350-361 [Conf]
  2. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Restricted Delta-Trees in Multiple-Valued Logics. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2002, pp:223-232 [Conf]
  3. Pedro Cabalar, David Pearce, Agustín Valverde
    Reducing Propositional Theories in Equilibrium Logic to Logic Programs. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  4. David Pearce, Agustín Valverde
    Abduction in equilibrium logic. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  5. Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
    Towards Biresiduated Multi-adjoint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CAEPIA, 2003, pp:608-617 [Conf]
  6. David Pearce, Inman P. de Guzmán, Agustín Valverde
    Computing Equilibrium Models Using Signed Formulas. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:688-702 [Conf]
  7. David Pearce, Agustín Valverde
    Synonymus Theories in Answer Set Programming and Equilibrium Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:388-392 [Conf]
  8. Pedro Cabalar, David Pearce, Agustín Valverde
    Reducing Propositional Theories in Equilibrium Logic to Logic Programs. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:4-17 [Conf]
  9. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2002, pp:161-171 [Conf]
  10. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Multiple-Valued Tableaux with delta-reductions. [Citation Graph (0, 0)][DBLP]
    IC-AI, 1999, pp:177-183 [Conf]
  11. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
    Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:346-360 [Conf]
  12. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    Composing Submonads. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:367-372 [Conf]
  13. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
    On the Logic and Computation of Partial Equilibrium Models. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:82-94 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:179-192 [Conf]
  15. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Implicates and Reduction Techniques for Temporal Logics. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:309-323 [Conf]
  16. Manuel Ojeda-Aciego, Agustín Valverde
    tascpl: TAS Solver for Classical Propositional Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:738-741 [Conf]
  17. David Pearce, Agustín Valverde
    Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:147-160 [Conf]
  18. Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
    Non-commutativity and Expressive Deductive Logic Databases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:149-160 [Conf]
  19. Agustín Valverde
    tabeql: A Tableau Based Suite for Equilibrium Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:734-737 [Conf]
  20. David Pearce, Agustín Valverde
    Uniform Equivalence for Equilibrium Logic and Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:194-206 [Conf]
  21. Vladimir Lifschitz, David Pearce, Agustín Valverde
    A Characterization of Strong Equivalence for Logic Programs with Variables. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:188-200 [Conf]
  22. David Pearce, Inman P. de Guzmán, Agustín Valverde
    A Tableau Calculus for Equilibrium Entailment. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:352-367 [Conf]
  23. 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 [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:1, pp:61-78 [Journal]
  24. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Implicates and reduction techniques for temporal logics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:27, n:1-4, pp:3-23 [Journal]
  25. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    A graphical approach to monad compositions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  26. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    A categorical approach to unification of generalised terms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
  27. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    Similarities between powersets of terms. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2004, v:144, n:1, pp:213-225 [Journal]
  28. 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. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:85-112 [Journal]
  29. David Pearce, Agustín Valverde
    A First Order Nonmonotonic Extension of Constructive Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:321-346 [Journal]
  30. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Reducing signed propositional formulas. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 1998, v:2, n:4, pp:157-166 [Journal]
  31. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
    Reductions for non-clausal theorem proving. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:81-112 [Journal]
  32. Vladimir Lifschitz, David Pearce, Agustín Valverde
    Strongly equivalent logic programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:4, pp:526-541 [Journal]
  33. Pedro Cabalar, David Pearce, Agustín Valverde
    Minimal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:104-118 [Conf]
  34. Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
    Quantified Equilibrium Logic and Hybrid Rules. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:58-72 [Conf]
  35. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
    Partial equilibrium logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:305-331 [Journal]
  36. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
    Powersets of terms and composite monads. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2007, v:158, n:23, pp:2552-2574 [Journal]

  37. Quantified Equilibrium Logic and Foundations for Answer Set Programs. [Citation Graph (, )][DBLP]


  38. A Revised Concept of Safety for General Answer Set Programs. [Citation Graph (, )][DBLP]


  39. Interpretability and Equivalence in Quantified Equilibrium Logic. [Citation Graph (, )][DBLP]


  40. A note on partially ordered generalized terms. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002