Reasoning about cardinal directions between extended objects

DOI10.1016/J.ARTINT.2010.05.006zbMath1205.68399OpenAlexW2161705339WikidataQ62042753 ScholiaQ62042753MaRDI QIDQ991028

Sanjiang Li, Xiaotong Zhang, Weiming Liu, Ming Sheng Ying

Publication date: 2 September 2010

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2010.05.006

zbMATH Keywords

qualitative spatial reasoningcardinal direction calculusconsistency checkingconnected regionsmaximal canonical solution

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (8)

Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra ⋮ On redundant topological constraints ⋮ Reasoning about cardinal directions between extended objects: the NP-hardness result ⋮ Unnamed Item ⋮ Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming ⋮ Qualitative constraint satisfaction problems: an extended framework with landmarks ⋮ Qualitative reasoning about 2D cardinal directions using answer set programming ⋮ Collective singleton-based consistency for qualitative constraint networks: theory and practice

Cites Work

• Unnamed Item
• Maintaining knowledge about temporal intervals
• Cardinal directions between spatial objects: the pairwise-consistency problem
• Region connection calculus: Its models and composition table
• Composing cardinal direction relations
• Generalized region connection calculus
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• A new approach to cyclic ordering of 2D orientations using ternary relation algebras
• Combining topological and size information for spatial reasoning
• RCC8 binary constraint network can be consistently extended
• On the consistency of cardinal direction constraints
• Reasoning about temporal relations
• Weak Composition for Qualitative Spatial and Temporal Reasoning
• A Sufficient Condition for Backtrack-Free Search
• Synthesizing constraint expressions
• Reasoning about temporal relations
• A relation-algebraic approach to the region connection calculus

This page was built for publication: Reasoning about cardinal directions between extended objects