Author of the publication

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

Improving Query Optimization for Disjunctive Datalog., , and . APPIA-GULP-PRODE, page 252-262. (2003)Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , and . Intelligenza Artificiale, 2 (3): 21-28 (2005)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)On Reversing Actions: Algorithms and Complexity., , and . IJCAI, page 336-341. (2007)A Polynomial Reduction from ASPDA to ASP.. RR, volume 7497 of Lecture Notes in Computer Science, page 213-216. Springer, (2012)Heuristics for Hard ASP Programs., , and . IJCAI, page 1562-1563. Professional Book Center, (2005)Disjunctive Logic Programs with Inheritance., , and . Theory Pract. Log. Program., 2 (3): 293-321 (2002)Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming, , , and . CoRR, (2002)