Author of the publication

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.

, , and . Intelligenza Artificiale, 2 (3): 21-28 (2005)

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

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)On the Properties of GZ-Aggregates in Answer Set Programming., and . IJCAI, page 4105-4109. IJCAI/AAAI Press, (2016)Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward., , and . IJCAI, page 5189-5193. ijcai.org, (2018)Heuristics for Hard ASP Programs., , and . IJCAI, page 1562-1563. Professional Book Center, (2005)Efficient Query Answering over Datalog with Existential Quantifiers., , , and . SEBD, page 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)Stable Model Semantics and its Computation for Ordered Logic Programs., and . ECAI, page 92-96. John Wiley and Sons, (1992)ASP-Core-2 Input Language Format., , , , , , , , , and . CoRR, (2019)Hypertree Decompositions and Tractable Queries, , and . CoRR, (1998)Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming, , , and . CoRR, (2002)Team-building with answer set programming in the Gioia-Tauro seaport., , , , , , and . Theory Pract. Log. Program., 12 (3): 361-381 (2012)