![]() | Up a level |
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.