Author of the publication

Manifold Answer-Set Programs and Their Applications.

, and . Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, page 44-63. 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

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , and . Intelligenza Artificiale, 2 (3): 21-28 (2005)Improving Query Optimization for Disjunctive Datalog., , and . APPIA-GULP-PRODE, page 252-262. (2003)Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version)., , and . CoRR, (2018)Solving Hard ASP Programs Efficiently., and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 240-252. Springer, (2005)Testing Strong Equivalence of Datalog Programs - Implementation and Examples., , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 437-441. Springer, (2005)Magic Sets and Their Application to Data Integration., , and . ICDT, volume 3363 of Lecture Notes in Computer Science, page 306-320. Springer, (2005)On Reversing Actions: Algorithms and Complexity., , and . IJCAI, page 336-341. (2007)Heuristics for Hard ASP Programs., , and . IJCAI, page 1562-1563. Professional Book Center, (2005)A Polynomial Reduction from ASPDA to ASP.. RR, volume 7497 of Lecture Notes in Computer Science, page 213-216. Springer, (2012)Disjunctive Logic Programs with Inheritance., , and . Theory Pract. Log. Program., 2 (3): 293-321 (2002)