Author of the publication

Unit Testing in ASPIDE.

, , , and . INAP/WLP, volume 7773 of Lecture Notes in Computer Science, page 345-364. Springer, (2011)

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

Computing LOGCFL Certificates., , and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 361-371. Springer, (1999)Magic Sets and Their Application to Data Integration., , and . ICDT, volume 3363 of Lecture Notes in Computer Science, page 306-320. Springer, (2005)Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications., and . Reasoning Web, volume 9203 of Lecture Notes in Computer Science, page 308-326. Springer, (2015)An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots., , , , , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 32-44. Springer, (2019)Magic Sets for disjunctive Datalog programs., , , and . Artif. Intell., (2012)ASP-Core-2 Input Language Format., , , , , , , , , and . CoRR, (2019)Hypertree Decompositions and Tractable Queries, , and . CoRR, (1998)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)