Artificial Intelligence

Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2019) Query inseparability for ALC ontologies. Artificial Intelligence 272 , pp. 1-51. ISSN 0004-3702.

Kutz, O. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2004) E-connections of abstract description systems. Artificial Intelligence 156 (1), pp. 1-73. ISSN 0004-3702.

CEUR Workshop Proceedings

Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) When is query inseparability for ALC Ontologies decidable? CEUR Workshop Proceedings 1577 , ISSN 1613-0073.

Konev, B. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2015) Conservative rewritability of description logic TBoxes: first results. CEUR Workshop Proceedings , ISSN 1613-0073.

Studia Logica

Kontchakov, Roman and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2004) Temporalising tableaux. Studia Logica 76 (1), pp. 91-134. ISSN 0039-3215.

Lutz, C. and Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2002) A tableau decision algorithm for modalized ALC with constant domains. Studia Logica 72 (2), pp. 199-232. ISSN 0039-3215.