Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
From MaRDI portal
Publication:354605
DOI10.1007/S10472-012-9327-5zbMath1286.68432OpenAlexW1250501714MaRDI QIDQ354605
Publication date: 19 July 2013
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-012-9327-5
constraint satisfaction problemsinterval algebracardinal direction relationsqualitative constraint networksqualitative spatial reasoningrectangle algebra
Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (3)
Subject-oriented spatial logic ⋮ Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra ⋮ A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
Uses Software
Cites Work
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- Reasoning about cardinal directions between extended objects: the NP-hardness result
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- Cardinal directions between spatial objects: the pairwise-consistency problem
- Composing cardinal direction relations
- Reasoning about cardinal directions between extended objects
- Consistency in networks of relations
- ``Corner relations in Allen's algebra
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations
- Qualitative representation of spatial knowledge
- Fast algebraic methods for interval constraint problems
- Combining topological and size information for spatial reasoning
- Modelling and solving temporal reasoning as propositional satisfiability
- On the consistency of cardinal direction constraints
- Weak Composition for Qualitative Spatial and Temporal Reasoning
- Complexity and algorithms for reasoning about time
- On binary constraint problems
- Reasoning about temporal relations
- Tractability Results in the Block Algebra
This page was built for publication: Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
