Author of the publication

WASP: A Native ASP Solver Based on Constraint Learning.

, , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 54-66. Springer, (2013)

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

Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases., , and . APPIA-GULP-PRODE, page 271-282. (1996)Answer Set Programming., , and . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Second Order Logic and the Weak Exponential Hierarchies., , and . MFCS, volume 969 of Lecture Notes in Computer Science, page 66-81. Springer, (1995)Enhancing a DLP System for Advanced Database Applications., , , and . RR, volume 5341 of Lecture Notes in Computer Science, page 119-134. Springer, (2008)Answer Set Programming: Language, Applications and Development Tools., , and . RR, volume 7994 of Lecture Notes in Computer Science, page 19-34. Springer, (2013)Datalog Development Tools - (Extended Abstract)., , , , and . Datalog, volume 7494 of Lecture Notes in Computer Science, page 81-85. Springer, (2012)Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width., , and . PODS, ACM, (2001)Weighted Hypertree Decompositions and Optimal Query Plans., , and . PODS, page 210-221. ACM, (2004)Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System., , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 524-529. Springer, (2013)Magic-Sets for Datalog with Existential Quantifiers., , , , and . Datalog, volume 7494 of Lecture Notes in Computer Science, page 31-43. Springer, (2012)