Publikationen von Stephan Böhme

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

Publikationen von Stephan Böhme


Artikel in Tagungsbänden

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
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

Technische Berichte

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