Autor der Publikation

Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

, , , , , und (Hrsg.) Volume 5224 von Lecture Notes in Computer Science, Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Specifying and Computing Hierarchies of Temporal Authorizations., , , und . DBSec, Volume 171 von IFIP Conference Proceedings, Seite 285-300. Kluwer, (1999)Three-Valued Semantics for Extended Logic Programs., und . GULP-PRODE, Seite 295-306. (1995)A component-based architecture for secure data publication, , , , und . Seventeenth Annual Computer Security Applications Conference, Institute of Electrical and Electronics Engineers (IEEE), (2001)An Access Control Model for Data Archives, , , und . Seite 261-276. Kluwer, New York, (2001)Defeasible Inclusions in Low-Complexity DLs., , und . J. Artif. Intell. Res., (2011)On the Undecidability of Description and Dynamic Logics with Recursion and Counting.. IJCAI, Seite 331-336. Morgan Kaufmann, (2003)On the Decidability of Containment of Recursive Datalog Queries - Preliminary report.. PODS, Seite 297-306. ACM, (2004)A Sequent Calculus for Circumscription., und . CSL, Volume 1414 von Lecture Notes in Computer Science, Seite 98-114. Springer, (1997)Declarative Foundations of Secure Deductive Databases., , und . ICDT, Volume 646 von Lecture Notes in Computer Science, Seite 391-406. Springer, (1992)Reasoning with Infinite Stable Models II: Disjunctive Programs.. ICLP, Volume 2401 von Lecture Notes in Computer Science, Seite 333-346. Springer, (2002)