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

    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.

    This list was generated on Thu Mar 28 05:52:44 2024 GMT.