Browse by Person

ACM Transactions on Computational Logic

Kutz, O. and Wolter, F. and Sturm, H. and Suzuki, N.-Y. and Zakharyaschev, Michael (2003) Logics of metric spaces. ACM Transactions on Computational Logic 4 (2), pp. 260-294. ISSN 1529-3785.

Artificial Intelligence

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

Kutz, O. and Normann, Immanuel and Mossakowski, T. and Walther, D. (2010) Chinese whispers and connected alignments. CEUR Workshop Proceedings 689 , ISSN 1613-0073.

Kutz, O. and Lucke, D. and Mossakowski, T. and Normann, Immanuel (2008) The OWL in the CASL: designing ontologies across logics. CEUR Workshop Proceedings , ISSN 1613-0073.

Journal of Applied Non-Classical Logics

Kutz, O. and Sturm, H. and Suzuki, N.Y. and Wolter, F. and Zakharyaschev, W. (2002) Axiomatizing distance logics. Journal of Applied Non-Classical Logics 12 (3-4), pp. 425-440. ISSN 1166-3081.