![]() | Up a level |
2007
Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2007) Spatial logic + temporal logic = ? In: Aiello, M. and Pratt-Hartmann, I. and Van Benthem, J. (eds.) Handbook of Spatial Logics. Berlin, Germany: Springer, pp. 497-564. ISBN 9781402055867.
2008
Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2008) On the computational complexity of spatial logics with connectedness constraints. In: Cervesato, C. and Veith, V. and Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 5330. Berlin, Germany: Springer, pp. 574-589. ISBN 9783540894384.
July 2008
Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2008) Topology, connectedness, and modal logic. In: Areces, C. and Goldblatt, R. (eds.) Advances in Modal Logic. London, UK: College Publications, pp. 151-176. ISBN 9781904987680.
2010
Kontchakov, Roman and Pratt-Hartmann, I. and Zakharyaschev, Michael (2010) Interpreting topological logics over Euclidean spaces. In: Lin, F. and Sattler, U. and Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. California, U.S.: AAAI Press, pp. 534-544. ISBN 9781577354512.
18 August 2010
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.
2011
Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2011) On the decidability of connectedness constraints in 2D and 3D Euclidean spaces. In: Walsh, T. (ed.) Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 957-962. ISBN 9781577355120.
June 2013
Kontchakov, Roman and Nenov, Y. and Pratt-Hartmann, I. and Zakharyaschev, Michael (2013) Topological logics with connectedness over Euclidean spaces. ACM Transactions on Computational Logic 14 (2), p. 13. ISSN 1529-3785.
7 August 2014
Kontchakov, Roman and Pratt-Hartmann, I. and Zakharyaschev, Michael (2014) Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artificial Intelligence 217 , pp. 43-75. ISSN 0004-3702.