Autor der Publikation

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

Automated Reasoning in Temporal DL-Lite (Extended Abstract)., , , , und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)Do You Need Infinite Time?., , und . IJCAI, Seite 1516-1522. ijcai.org, (2019)Subsumption Computation on an Object-Oriented Data Model., , und . PDK, Volume 567 von Lecture Notes in Computer Science, Seite 124-140. Springer, (1991)Editorial., , , und . J. Log. Comput., 14 (1): 1 (2004)First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic., , , , , und . CoRR, (2020)Tractable Interval Temporal Propositional and Description Logics., , , und . AAAI, Seite 1417-1423. AAAI Press, (2015)Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions., , , , und . AAAI, Seite 6193-6201. AAAI Press, (2021)On Free Description Logics with Definite Descriptions., , , und . KR, Seite 63-73. (2021)Enriching Data Models with Behavioral Constraints., , , und . Ontology Makes Sense, Volume 316 von Frontiers in Artificial Intelligence and Applications, Seite 257-277. IOS Press, (2019)Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints., , , und . BPM, Volume 11675 von Lecture Notes in Computer Science, Seite 139-156. Springer, (2019)