Author of the publication

Reasoning with Infinite Stable Models II: Disjunctive Programs.

. ICLP, volume 2401 of Lecture Notes in Computer Science, page 333-346. Springer, (2002)

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

The SPECIAL-K Personal Data Processing Transparency and Compliance Platform., , , , , and . CoRR, (2020)Secure Agents., , and . Ann. Math. Artif. Intell., 37 (1-2): 169-235 (2003)Defeasible Inclusions in Low-Complexity DLs., , and . J. Artif. Intell. Res., (2011)Three-Valued Semantics for Extended Logic Programs., and . GULP-PRODE, page 295-306. (1995)Query answering in circumscribed OWL2 profiles.. Ann. Math. Artif. Intell., 89 (12): 1155-1173 (2021)On the Decidability of Containment of Recursive Datalog Queries - Preliminary report.. PODS, page 297-306. ACM, (2004)Confidentiality Policies and Their Enforcement for Controlled Query Evaluation., and . ESORICS, volume 2502 of Lecture Notes in Computer Science, page 39-54. Springer, (2002)Reasoning with Infinite Stable Models II: Disjunctive Programs.. ICLP, volume 2401 of Lecture Notes in Computer Science, page 333-346. Springer, (2002)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)