Lightweight Description Logics and Branching Time: A Troublesome Marriage.

Vctor Gutirrez-Basulto, Jean Christoph Jung, Thomas Schneider

Browse the full KR paper archive.