( en | de | ru )

 

Disambiguation of "Valverde, Agustín"

Author of the publication

copydeleteadd this publication to your clipboard
On the Properties of Atom Definability and Well-Supportedness in Logic Programming.

, , , , and . EPIA, volume 10423 of Lecture Notes in Computer Science, page 624-636. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Agustín Grimoldi

Agustín Seguí

Agustín Corti

Agustín Rodríguez

Agustín Ramírez Alvarez

 

Other publications of authors with the same name

Interpolable Formulas in Equilibrium Logic and Answer Set Programming., , and . CoRR, (2014)A Characterization of Strong Equivalence for Logic Programs with Variables., , and . LPNMR, volume 4483 of Lecture Notes in Computer Science, page 188-200. Springer, (2007)A Revised Concept of Safety for General Answer Set Programs., , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 58-70. Springer, (2009)A Free Logic for Stable Models with Partial Intensional Functions., , , and . JELIA, volume 8761 of Lecture Notes in Computer Science, page 340-354. Springer, (2014)A First Order Nonmonotonic Extension of Constructive Logic., and . Stud Logica, 80 (2-3): 321-346 (2005)Implicates and reduction techniques for temporal logics., , and . Ann. Math. Artif. Intell., 27 (1-4): 3-23 (1999)On the Properties of Atom Definability and Well-Supportedness in Logic Programming., , , , and . EPIA, volume 10423 of Lecture Notes in Computer Science, page 624-636. Springer, (2017)Similarities between powersets of terms., , , , and . Fuzzy Sets Syst., 144 (1): 213-225 (2004)A categorical approach to unification of generalised terms., , , , and . UNCL@ICALP, volume 66 of Electronic Notes in Theoretical Computer Science, page 41-51. Elsevier, (2002)Reducing Propositional Theories in Equilibrium Logic to Logic Programs., , and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)