A Tableau Calculus for Temporal Description Logic: The Constant Domain Case

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