Autor der Publikation

The Intelligent Grounder of DLV.

, , und . Correct Reasoning, Volume 7265 von Lecture Notes in Computer Science, Seite 247-264. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , und . Intelligenza Artificiale, 2 (3): 21-28 (2005)Improving Query Optimization for Disjunctive Datalog., , und . APPIA-GULP-PRODE, Seite 252-262. (2003)Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version)., , und . CoRR, (2018)On Reversing Actions: Algorithms and Complexity., , und . IJCAI, Seite 336-341. (2007)Heuristics for Hard ASP Programs., , und . IJCAI, Seite 1562-1563. Professional Book Center, (2005)Solving Hard ASP Programs Efficiently., und . LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 240-252. Springer, (2005)Testing Strong Equivalence of Datalog Programs - Implementation and Examples., , und . LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 437-441. Springer, (2005)A Polynomial Reduction from ASPDA to ASP.. RR, Volume 7497 von Lecture Notes in Computer Science, Seite 213-216. Springer, (2012)Magic Sets and Their Application to Data Integration., , und . ICDT, Volume 3363 von Lecture Notes in Computer Science, Seite 306-320. Springer, (2005)Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming., , , und . Answer Set Programming, (2001)