Author of the publication

The dlv System: Model Generator and Advanced Frontends (system description).

, , , , , , , , and . WLP, Ludwig Maximilians Universität München, (1997)

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

Disjunctive Datalog, , and . ACM Transactions on Database Systems(TODS), 22 (3): 364-418 (1997)On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic., and . J. Symb. Log., 63 (1): 73-82 (1998)Adding Disjunction to Datalog., , and . PODS, page 267-278. ACM Press, (1994)Tractable Optimization Problems through Hypergraph-Based Structural Restrictions, , and . CoRR, (2012)Conjunctive Queries over Trees., , and . PODS, page 189-200. ACM, (2004)XPath processing in a nutshell, , and . SIGMOD Rec., 32 (1): 12--19 (2003)The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions, and . Journal of Computer and System Sciences, (1996)The complexity of logic-based abduction, and . Journal of the ACM, (1995)Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract).. KR, page 647-649. Morgan Kaufmann, (1996)The ICDT 2016 Test of Time Award Announcement., , and . ICDT, volume 48 of LIPIcs, page 1:1-1:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)