Browse by Person

ACM Transactions on Computational Logic

Wolter, F. and Zakharyaschev, Michael (2008) Undecidability of the unification and admissibility problems for modal and description logics. ACM Transactions on Computational Logic 9 (4), ISSN 1529-3785.

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.

Advances in Modal Logic 4: papers from the fourth conference on Advances in Modal logic

Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2002) Editorial preface. In: Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (eds.) Advances in Modal Logic. King's College Publications. ISBN 9780954300629.

Annals of Pure and Applied Logic

Sheremet, M. and Wolter, F. and Zakharyaschev, Michael (2010) A modal logic framework for reasoning about comparative distances and topology. Annals of Pure and Applied Logic 161 (4), pp. 534-559. ISSN 0168-0072.

Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2006) Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic 42 (1-3), pp. 245-268. ISSN 0168-0072.

Wolter, F. and Zakharyaschev, Michael (2002) Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied Logic 118 (1-2), pp. 133-145. ISSN 0168-0072.

Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2000) Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106 (1-3), pp. 85-134. ISSN 0168-0072.

Applied Intelligence

Bennett, B. and Cohn, A.G. and Wolter, F. and Zakharyaschev, Michael (2002) Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence 17 (3), pp. 239-251. ISSN 0924-669X.

Artificial Intelligence

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2021) First-order rewritability of ontology-mediated queries in linear temporal logic. Artificial Intelligence 299 , ISSN 0004-3702.

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.

Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) Games for query inseparability of description logic knowledge bases. Artificial Intelligence 234 , pp. 78-119. ISSN 0004-3702.

Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2010) Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artificial Intelligence 174 (15), pp. 1093-1141. 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.

Konev, B. and Kontchakov, Roman and Ludwig, M. and Schneider, T. and Wolter, F. and Zakharyaschev, Michael (2011) Module extraction via query inseparability in OWL 2 QL. In: UNSPECIFIED (ed.) Proceedings of the 24th International Workshop of Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745. CEUR Workshop Proceedings.

Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2011) On P/NP Dichotomies for EL subsumption under relational constraints. CEUR Workshop Proceedings (745), ISSN 1613-0073.

CoRR

Wolter, F. and Zakharyaschev, Michael (2006) Undecidability of the unification and admissibility problems for modal and description logics. CoRR ,

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.

Journal of Artificial Intelligence Research

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2022) First-Order Rewritability and complexity of Two-Dimensional Temporal Ontology-Mediated Queries. Journal of Artificial Intelligence Research 75 , pp. 1223-1291. ISSN 1076-9757.

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyashchev, Michael (2022) First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries. Journal of Artificial Intelligence Research 75 , pp. 1223-1291. ISSN 1076-9757.

Gabelaia, D. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) Combining spatial and temporal logics: expressiveness vs. complexity. Journal of Artificial Intelligence Research 23 , pp. 167-243. ISSN 1076-9757.

Journal of Logic and Computation

Sheremet, M. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2007) A logic for concepts and similarity. Journal of Logic and Computation 17 (3), pp. 415-452. ISSN 0955-792X.

Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2004) On non-local propositional and weak monodic quantified CTL. Journal of Logic and Computation 14 (1), pp. 3-22. ISSN 0955-792X.

Journal of Logic, Language and Information

Suzuki, Y. and Wolter, F. and Zakharyaschev, Michael (1998) Speaking about transitive frames in propositional languages. Journal of Logic, Language and Information 7 (3), pp. 317-339. ISSN 0925-8531.

Journal of Symbolic Logic

Kikot, Stanislav and Kurucz, A. and Tanaka, Y. and Wolter, F. and Zakharyaschev, Michael (2019) Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Journal of Symbolic Logic 84 (2), pp. 533-588. ISSN 0022-4812.

Logical Methods in Computer Science

Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2010) Spatial logics with connectedness predicates. Logical Methods in Computer Science 6 (3), pp. 1-43. ISSN 1860-5974.

Studia Logica

Konev, B. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2006) On dynamic topological and metric logics. Studia Logica 84 (1), pp. 129-160. ISSN 0039-3215.

Rautenberg, W. and Zakharyaschev, Michael and Wolter, F. (2006) Willem Blok and modal logic. Studia Logica 83 (1-3), pp. 15-30. ISSN 0039-3215.

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

Kurucz, Agnes and Zakharyaschev, Michael and Wolter, F. (2002) Preface. [Editorial/Introduction]

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.

The journal of Symbolic Logic

Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) Products of 'transitive' modal logics. The journal of Symbolic Logic 70 (3), pp. 993-1021. ISSN 0022-4812.

Wolter, F. and Zakharyaschev, Michael (2005) A logic for metric and topology. The journal of Symbolic Logic 70 (3), pp. 795-828. ISSN 0022-4812.

Wolter, F. and Zakharyaschev, Michael (2001) Decidable fragments of first-order modal logics. The journal of Symbolic Logic 66 (3), pp. 1415-1438. ISSN 0022-4812.