Keyword:Tableau Algorithms

Papers
Reasoning in Non-Normal Modal Description Logics Tiziano Dalmonte, Andrea Mazzullo and Ana Ozaki EasyChair Preprint no. 8444