Output details
11 - Computer Science and Informatics
University of Manchester
Return to search
Output 0 of 0 in the submission
Article title
Topological Logics with Connectedness over Euclidean Spaces
Type
D - Journal article
Title of journal
ACM Transactions on Computational Logic
Article number
13
Volume number
14
Issue number
2
First page of article
-
ISSN of journal
1557-945X
Year of publication
2013
URL
-
Number of additional authors
3
Additional information
<11>Everyday spatial reasoning problems are concerned with extended entities (as opposed to points), and invoke qualitative (as opposed to quantitative) properties and relations. This paper is significant in providing computational complexity results on various formal languages for expressing qualitative spatial information about regions in Euclidean spaces. We show that even the most minimal logics of this category having usable expressive power are undecidable - thus presenting a stark challenge to the discipline of spatial reasoning. This is an extended version of a paper which won the Distinguished Paper Award at the IJCAI-11, from a field of 1,400 submissions.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
