BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Number of items: 4.

    Article

    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.

    Book Section

    Wolter, F. and Zakharyaschev, Michael (2000) Spatio-temporal representation and reasoning based on RCC-8. In: Cohn, A.G. and Giunchiglia, F. and Selman, B. (eds.) KR 2000: Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 3-14. ISBN 9781558606906.

    Wolter, F. and Zakharyaschev, Michael (1998) On the decidability of description logics with modal operators. In: Cohn, A.G. and Schubert, L.K. and Shapiro, S.C. (eds.) KR '98: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 512-523. ISBN 9781558605541.

    Chittaro, L. and Montanari, A. and Provetti, Alessandro (1994) Skeptical and credulous event calculi for supporting modal queries. In: Cohn, A.G. (ed.) Proceedings of the Eleventh European Conference on Artificial Intelligence. Wiley, pp. 361-365.

    This list was generated on Sat Dec 4 05:28:10 2021 GMT.