Author of the publication

Answer Set Programming.

, , , and . 25 Years GULP, volume 6125 of Lecture Notes in Computer Science, Springer, (2010)

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.

 

Other publications of authors with the same name

Finitely recursive programs: Decidability and bottom-up computation., , , and . AI Commun., 24 (4): 311-334 (2011)A backjumping technique for Disjunctive Logic Programming., , and . AI Commun., 19 (2): 155-172 (2006)Join Ordering Techniques for Knowledge Base Systems., , and . SEBD, page 79-93. (2001)Structural Decomposition Methods: Key Notions and Database Applications., , , and . A Comprehensive Guide Through the Italian Database Research, volume 31 of Studies in Big Data, Springer International Publishing, (2018)Driving CDCL Search., , , , , and . CoRR, (2016)ASP-Core-2 Input Language Format., , , , , , , , , and . CoRR, (2019)An ASP-Based System for Team-Building in the Gioia-Tauro Seaport., , , , , and . PADL, volume 5937 of Lecture Notes in Computer Science, page 40-42. Springer, (2010)Team-building with answer set programming in the Gioia-Tauro seaport., , , , , , and . Theory Pract. Log. Program., 12 (3): 361-381 (2012)Disjunctive Logic Programs with Inheritance., , and . Theory Pract. Log. Program., 2 (3): 293-321 (2002)Experimenting with recursive queries in database and logic programming systems., , , and . Theory Pract. Log. Program., 8 (2): 129-165 (2008)