Stephan Böhme

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Stephan Böhme

Ehemaliges Mitglied
Stephan Böhme
  •   Ehemals Wissenschaftlicher Mitarbeiter in Forschungsgruppe Automatentheorie

Neueste Publikationen

Komplette Publikationsliste anzeigen

Stephan Böhme, Marcel Lippmann
Decidable Description Logics of Context with Rigid Roles
In Carsten Lutz, Silvio Ranise, eds., Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), volume 9322 of Lecture Notes in Artificial Intelligence, 17-32, to appear. Springer
Details Download

Stephan Böhme, Marcel Lippmann
Description Logics of Context with Rigid Roles Revisited
Technical Report, Chair of Automata Theory, TU Dresden, volume 15-04, May 2015. LTCS-Report
Details Download

Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

Komplette Publikationsliste anzeigen