Topological Logics with Connectedness over Euclidean Spaces

DOI10.1145/2480759.2480765zbMath1353.68267arXiv1110.4034OpenAlexW2055865360WikidataQ62048622 ScholiaQ62048622MaRDI QIDQ2946698

Roman Kontchakov, Ian Pratt-Hartmann, Yavor Nenov, Michael Zakharyashchev

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1110.4034

zbMATH Keywords

connectednesstopologyEuclidean spacesqualitative spatial reasoning

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (5)

Drawing interactive Euler diagrams from region connection calculus specifications ⋮ Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search ⋮ Contact Logic is Finitary for Unification with Constants ⋮ Relational representation theorems for extended contact algebras ⋮ Extended contact algebras and internal connectedness

This page was built for publication: Topological Logics with Connectedness over Euclidean Spaces