Autor der Publikation

LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract).

, , und . SOFSEM, Volume 10706 von Lecture Notes in Computer Science, Seite 87-93. Springer, (2018)

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

Computing discrete Fréchet distance, , , , und . (1994)Conjunctive query answering in the description logic SH using knots., , und . J. Comput. Syst. Sci., 78 (1): 47-85 (2012)Contextualized Knowledge Repositories with Justifiable Exceptions., , und . Description Logics, Volume 1193 von CEUR Workshop Proceedings, Seite 112-123. CEUR-WS.org, (2014)Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract).. Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Data Complexity of Answering Unions of Conjunctive Queries in SHIQ., , und . Description Logics, Volume 189 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics., , und . IS/KI, Volume 777 von Lecture Notes in Computer Science, Seite 83-103. Springer, (1994)Complexity and Expressive Power of Logic Programming., , , und . CCC, Seite 82-101. IEEE Computer Society, (1997)Data Repair of Inconsistent DL-Programs., , und . IJCAI, Seite 869-876. IJCAI/AAAI, (2013)Forgetting in Managing Rules and Ontologies., , , , und . Web Intelligence, Seite 411-419. IEEE Computer Society, (2006)LPForget: A System of Forgetting in Answer Set Programming., , , , und . Australian Conference on Artificial Intelligence, Volume 4304 von Lecture Notes in Computer Science, Seite 1101-1105. Springer, (2006)