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)A backjumping technique for Disjunctive Logic Programming., , и . AI Commun., 19 (2): 155-172 (2006)Driving CDCL Search., , , , , и . CoRR, (2016)Structural Decomposition Methods: Key Notions and Database Applications., , , и . A Comprehensive Guide Through the Italian Database Research, том 31 из Studies in Big Data, Springer International Publishing, (2018)Normal Form Nested Programs., , и . Fundam. Informaticae, 96 (3): 271-295 (2009)Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming., , , , , , и . CoRR, (2020)Team-building with answer set programming in the Gioia-Tauro seaport., , , , , , и . Theory Pract. Log. Program., 12 (3): 361-381 (2012)Disjunctive Logic Programs with Inheritance., , и . Theory Pract. Log. Program., 2 (3): 293-321 (2002)Experimenting with recursive queries in database and logic programming systems., , , и . Theory Pract. Log. Program., 8 (2): 129-165 (2008)An ASP-Based System for Team-Building in the Gioia-Tauro Seaport., , , , , и . PADL, том 5937 из Lecture Notes in Computer Science, стр. 40-42. Springer, (2010)