Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage.

Vctor Gutirrez-Basulto, Jean Christoph Jung

Browse the full IJCAI paper archive.