From post

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.

 

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

Finitely recursive programs: Decidability and bottom-up computation., , , и . AI Commun., 24 (4): 311-334 (2011)Computable Functions in ASP: Theory and Implementation., , , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 407-424. Springer, (2008)External sources of knowledge and value invention in logic programming., , и . Ann. Math. Artif. Intell., 50 (3-4): 333-361 (2007)An ASP System with Functions, Lists, and Sets., , , и . LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 483-489. Springer, (2009)Enhancing ASP by Functions: Decidable Classes and Implementation Techniques., , , и . AAAI, стр. 1666-1670. AAAI Press, (2010)Decidable Fragments of Logic Programming with Value Invention., , и . JELIA, том 4160 из Lecture Notes in Computer Science, стр. 95-110. Springer, (2006)Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs., , , и . LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 71-86. Springer, (2009)The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track., , , , , , , , , и 9 other автор(ы). LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 388-403. Springer, (2011)