Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains. (English) Zbl 1010.03012 Stud. Log. 72, No. 2, 199-232 (2002). MSC: 03B45 03B25 03B35 68T27 PDF BibTeX XML Cite \textit{C. Lutz} et al., Stud. Log. 72, No. 2, 199--232 (2002; Zbl 1010.03012) Full Text: DOI
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F. Fusions of description logics and abstract description systems. (English) Zbl 0995.03025 J. Artif. Intell. Res. (JAIR) 16, 1-58 (2002). MSC: 03B70 03B45 68T27 PDF BibTeX XML Cite \textit{F. Baader} et al., J. Artif. Intell. Res. (JAIR) 16, 1--58 (2002; Zbl 0995.03025)
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael Tableaux for temporal description logic with constant domains. (English) Zbl 0988.68178 Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 121-136 (2001). MSC: 68T27 03B35 03B44 68T30 PDF BibTeX XML Cite \textit{C. Lutz} et al., Lect. Notes Comput. Sci. 2083, 121--136 (2001; Zbl 0988.68178) Full Text: Link