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: 6.

    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.

    This list was generated on Sat Aug 13 06:37:13 2022 BST.