Autor der Publikation

Verification of Description Logic Knowledge and Action Bases.

, , , , , und . ECAI, Volume 242 von Frontiers in Artificial Intelligence and Applications, Seite 103-108. IOS Press, (2012)

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

Semantic Enrichment of GSM-Based Artifact-Centric Models, , , und . Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR, AAAI Press, (2014)Combined Covers and Beth Definability., , , , und . CoRR, (2019)Semantics and Analysis of DMN Decision Tables., , , , , und . EMISA Forum, 37 (1): 49-51 (2017)From DB-nets to Coloured Petri Nets with Priorities (Extended Version)., und . CoRR, (2019)From DB-nets to Coloured Petri Nets with Priorities., und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 449-469. Springer, (2019)Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019., und . Theory Pract. Log. Program., 22 (2): 158-161 (2022)Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach., , , , und . CoRR, (2021)Process discovery on deviant traces and other stranger things., , , , , , , und . CoRR, (2021)Conceptually-grounded mapping patterns for Virtual Knowledge Graphs., , , , , und . Data Knowl. Eng., (Mai 2023)Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs., , , , , und . SEBD, Volume 3194 von CEUR Workshop Proceedings, Seite 85-92. CEUR-WS.org, (2022)