Author of the publication

A Sequent Calculus for Circumscription.

, and . CSL, volume 1414 of Lecture Notes in Computer Science, page 98-114. Springer, (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

A Sequent Calculus for Circumscription., and . CSL, volume 1414 of Lecture Notes in Computer Science, page 98-114. Springer, (1997)Declarative Foundations of Secure Deductive Databases., , and . ICDT, volume 646 of Lecture Notes in Computer Science, page 391-406. Springer, (1992)Reasoning with Infinite Stable Models II: Disjunctive Programs.. ICLP, volume 2401 of Lecture Notes in Computer Science, page 333-346. Springer, (2002)On the Undecidability of Description and Dynamic Logics with Recursion and Counting.. IJCAI, page 331-336. Morgan Kaufmann, (2003)On optimal service selection., and . WWW, page 530-538. ACM, (2005)Optimality and Complexity of Inference-Proof Data Filtering and CQE., , , and . ESORICS (2), volume 8713 of Lecture Notes in Computer Science, page 165-181. Springer, (2014)Query answering in circumscribed OWL2 profiles.. Ann. Math. Artif. Intell., 89 (12): 1155-1173 (2021)The SPECIAL-K Personal Data Processing Transparency and Compliance Platform., , , , , and . CoRR, (2020)Regulating service access and information release on the Web., and . ACM Conference on Computer and Communications Security, page 134-143. ACM, (2000)On the Decidability of Containment of Recursive Datalog Queries - Preliminary report.. PODS, page 297-306. ACM, (2004)