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

Quantitative Temporal Logics: PSPACE and Below., , und . TIME, Seite 138-146. IEEE Computer Society, (2005)Temporal Description Logics: A Survey., , und . TIME, Seite 3-14. IEEE Computer Society, (2008)Extensions to Description Logics., , und . Description Logic Handbook, Seite 219-261. Cambridge University Press, (2003)Topology, connectedness, and modal logic., , , und . Advances in Modal Logic, Seite 151-176. College Publications, (2008)Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL., , und . Advances in Modal Logic, Seite 271-291. College Publications, (2010)Comparative Similarity, Tree Automata, and Diophantine Equations., , , und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 651-665. Springer, (2005)From Tableaux to Automata for Description Logics., , , und . LPAR, Volume 2850 von Lecture Notes in Computer Science, Seite 1-32. Springer, (2003)Model Comparison Games for Horn Description Logics., , , und . LICS, Seite 1-14. IEEE, (2019)Temporal Logics over Transitive States., , und . CADE, Volume 3632 von Lecture Notes in Computer Science, Seite 182-203. Springer, (2005)The Logical Difference Problem for Description Logic Terminologies., , und . IJCAR, Volume 5195 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2008)