A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics.

Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo

Browse the full HAIS paper archive.