Author of the publication

Answer Set Programming.

, , , and . 25 Years GULP, volume 6125 of Lecture Notes in Computer Science, Springer, (2010)

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

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 Open Logic Programs.. LPNMR, volume 2173 of Lecture Notes in Computer Science, page 147-159. Springer, (2001)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)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)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)Three-Valued Semantics for Extended Logic Programs., and . GULP-PRODE, page 295-306. (1995)