Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
From MaRDI portal
Recommendations
- Reasoning about cardinal directions between extended objects
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- On the consistency of cardinal direction constraints
- Qualitative spatial reasoning with topological information
- Combining topological and size information for spatial reasoning
Cites work
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations
- Cardinal directions between spatial objects: the pairwise-consistency problem
- Combining topological and size information for spatial reasoning
- Complexity and algorithms for reasoning about time
- Composing cardinal direction relations
- Consistency in networks of relations
- Fast algebraic methods for interval constraint problems
- Maintaining knowledge about temporal intervals
- Modelling and solving temporal reasoning as propositional satisfiability
- On binary constraint problems
- On the consistency of cardinal direction constraints
- Qualitative representation of spatial knowledge
- Qualitative spatial representation and reasoning: An overview
- Reasoning about cardinal directions between extended objects
- Reasoning about cardinal directions between extended objects: the NP-hardness result
- Reasoning about temporal relations
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- Tractability Results in the Block Algebra
- Weak Composition for Qualitative Spatial and Temporal Reasoning
- ``Corner relations in Allen's algebra
Cited in
(9)- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
- Consistency checking for cardinal direction relations based on MBR
- An arrangement calculus, its complexity and algorithmic properties
- Subject-oriented spatial logic
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments
- Decision tree learning with spatial modal logics
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- Spatial reasoning about points in a multidimensional setting
- Reasoning about cardinal directions between extended objects: the NP-hardness result
This page was built for publication: Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q354605)
