On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
Roman Kontchakov‚ Yavor Nenov‚ Ian Pratt−Hartmann and Michael Zakharyaschev
Book Title
IJCAI 2011‚ Proceedings of the 22nd International Joint Conference on Artificial Intelligence‚ Barcelona‚ Catalonia‚ Spain‚ July 16−22‚ 2011
Pages
957–962
Year
2011