( en | de | ru )

 

Disambiguation of "Valverde, Agustín"

Author of the publication

copydeleteadd this publication to your clipboard
Reducing signed propositional formulas.

, , , and . Soft Comput., 2 (4): 157-166 (1998)

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

Restricted Delta-Trees in Multiple-Valued Logics., , and . AIMSA, volume 2443 of Lecture Notes in Computer Science, page 223-232. Springer, (2002)Implicates and Reduction Techniques for Temporal Logics., , and . JELIA, volume 1489 of Lecture Notes in Computer Science, page 309-323. Springer, (1998)A Tableau Calculus for Equilibrium Entailment., , and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 352-367. Springer, (2000)Partial equilibrium logic., , , and . Ann. Math. Artif. Intell., 50 (3-4): 305-331 (2007)Interpolable Formulas in Equilibrium Logic and Answer Set Programming., , and . J. Artif. Intell. Res., (2011)Multiple-Valued Tableaux with delta-reductions., , and . IC-AI, page 177-183. CSREA Press, (1999)Composing Submonads., , , , and . ISMVL, page 367-372. IEEE Computer Society, (2001)On the Logic and Computation of Partial Equilibrium Models., , , and . JELIA, volume 4160 of Lecture Notes in Computer Science, page 82-94. Springer, (2006)Reduction Theorems for Boolean Formulas Using Delta-Trees., , , , and . JELIA, volume 1919 of Lecture Notes in Computer Science, page 179-192. Springer, (2000)Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning., and . JELIA, volume 3229 of Lecture Notes in Computer Science, page 147-160. Springer, (2004)