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

Disjunctive Datalog, , and . ACM Transactions on Database Systems(TODS), 22 (3): 364-418 (1997)Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract).. KR, page 647-649. Morgan Kaufmann, (1996)On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic., and . J. Symb. Log., 63 (1): 73-82 (1998)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)XPath processing in a nutshell, , and . SIGMOD Rec., 32 (1): 12--19 (2003)Computing LOGCFL Certificates., , and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 361-371. Springer, (1999)Subsumption and Implication.. Inf. Process. Lett., 24 (2): 109-111 (1987)Removing Redundancy from a Clause., and . Artif. Intell., 61 (2): 263-289 (1993)The Algres Project., , , , , , and . EDBT, volume 303 of Lecture Notes in Computer Science, page 551-555. Springer, (1988)