( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Free Logic for Stable Models with Partial Intensional Functions.

, , , и . JELIA, том 8761 из Lecture Notes in Computer Science, стр. 340-354. Springer, (2014)

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.

Agustín Grimoldi

Agustín Seguí

Agustín Rodríguez

Agustín Corti

Agustín Ramírez Alvarez

 

Другие публикации лиц с тем же именем

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