( en | de | ru )

 

Disambiguation of "Valverde, Agustín"

Author of the publication

copydeleteadd this publication to your clipboard
Abduction in equilibrium logic.

, and . Answer Set Programming, (2001)

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 Rodríguez

Agustín Corti

Agustín Ramírez Alvarez

 

Other publications of authors with the same name

Some Typesmof Equivalence for Logic Programs and Equilibrium Logic., and . APPIA-GULP-PRODE, page 350-361. (2003)Infinitary equilibrium logic and strongly equivalent logic programs., , , and . Artif. Intell., (2017)Synonymus Theories in Answer Set Programming and Equilibrium Logic., and . ECAI, page 388-392. IOS Press, (2004)Infinitary Equilibrium Logic and Strong Equivalence., , , and . LPNMR, volume 9345 of Lecture Notes in Computer Science, page 398-410. Springer, (2015)Uniform Equivalence for Equilibrium Logic and Logic Programs., and . LPNMR, volume 2923 of Lecture Notes in Computer Science, page 194-206. Springer, (2004)tabeql: A Tableau Based Suite for Equilibrium Logic.. JELIA, volume 3229 of Lecture Notes in Computer Science, page 734-737. Springer, (2004)Quantified Equilibrium Logic and Foundations for Answer Set Programs., and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 546-560. Springer, (2008)Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic., , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 346-360. Springer, (2006)Computing Equilibrium Models Using Signed Formulas., , and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 688-702. Springer, (2000)Synonymous theories and knowledge representations in answer set programming., and . J. Comput. Syst. Sci., 78 (1): 86-104 (2012)