( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Answer Set Programming from a Logical Point of View.

, , и . Künstliche Intell., 32 (2-3): 109-118 (2018)

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

 

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

Computing Equilibrium Models Using Signed Formulas., , и . Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 688-702. Springer, (2000)Infinitary Equilibrium Logic and Strong Equivalence., , , и . LPNMR, том 9345 из Lecture Notes in Computer Science, стр. 398-410. Springer, (2015)Quantified Equilibrium Logic and Foundations for Answer Set Programs., и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 546-560. Springer, (2008)Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic., , , и . ICLP, том 4079 из Lecture Notes in Computer Science, стр. 346-360. Springer, (2006)Some Typesmof Equivalence for Logic Programs and Equilibrium Logic., и . APPIA-GULP-PRODE, стр. 350-361. (2003)Infinitary equilibrium logic and strongly equivalent logic programs., , , и . Artif. Intell., (2017)Synonymus Theories in Answer Set Programming and Equilibrium Logic., и . ECAI, стр. 388-392. IOS Press, (2004)Uniform Equivalence for Equilibrium Logic and Logic Programs., и . LPNMR, том 2923 из Lecture Notes in Computer Science, стр. 194-206. Springer, (2004)Foreword., и . J. Appl. Non Class. Logics, 23 (1-2): 1 (2013)Synonymous theories and knowledge representations in answer set programming., и . J. Comput. Syst. Sci., 78 (1): 86-104 (2012)