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

Erratum to: Reasoning with infinite stable models Artificial Intelligence 156 (1) (2004) 75-111.. Artif. Intell., 172 (15): 1833-1835 (2008)Specifying and Computing Hierarchies of Temporal Authorizations., , , and . DBSec, volume 171 of IFIP Conference Proceedings, page 285-300. Kluwer, (1999)A component-based architecture for secure data publication, , , , and . Seventeenth Annual Computer Security Applications Conference, Institute of Electrical and Electronics Engineers (IEEE), (2001)An Access Control Model for Data Archives, , , and . page 261-276. Kluwer, New York, (2001)Defeasible Inclusions in Low-Complexity DLs., , and . J. Artif. Intell. Res., (2011)On the Decidability of Containment of Recursive Datalog Queries - Preliminary report.. PODS, page 297-306. ACM, (2004)Three-Valued Semantics for Extended Logic Programs., and . GULP-PRODE, page 295-306. (1995)On optimal service selection., and . WWW, page 530-538. ACM, (2005)On the Undecidability of Description and Dynamic Logics with Recursion and Counting.. IJCAI, page 331-336. Morgan Kaufmann, (2003)Confidentiality Policies and Their Enforcement for Controlled Query Evaluation., and . ESORICS, volume 2502 of Lecture Notes in Computer Science, page 39-54. Springer, (2002)