BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 12.

    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.

    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.

    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.

    Botoeva, E. and Kontchakov, Roman and Ryzhikov, V. 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.

    CEUR Workshop Proceedings

    Botoeva, E. and Lutz, C. and Ryzhikov, V. 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.

    Journal of Artificial Intelligence Research

    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 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 , ISSN 0022-4812. (In Press)

    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.

    This list was generated on Sun Jul 12 04:24:34 2020 BST.