Combining topological and size information for spatial reasoning
From MaRDI portal
Publication:1605277
DOI10.1016/S0004-3702(02)00193-5zbMath0995.68073WikidataQ127029766 ScholiaQ127029766MaRDI QIDQ1605277
Jochen Renz, Alfonso E. Gerevini
Publication date: 15 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
computational complexityspatial reasoningconstraint satisfactionconstraint-based reasoningregion Connection Calculus
Related Items
Line-based affine reasoning in Euclidean plane ⋮ Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra ⋮ Unnamed Item ⋮ Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class ⋮ Qualitative constraint satisfaction problems: an extended framework with landmarks ⋮ Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure ⋮ Reasoning about cardinal directions between extended objects ⋮ REASONING WITH TOPOLOGICAL AND DIRECTIONAL SPATIAL INFORMATION ⋮ Combining topological and size information for spatial reasoning
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- A new polynomial-time algorithm for linear programming
- A calculus of individuals based on 'connection'
- Temporal constraint networks
- Connection structures
- A canonical form for generalized linear constraints
- Reasoning about qualitative temporal information
- Consistency in networks of relations
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- Topological queries in spatial databases
- Qualitative representation of positional information
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Combining topological and size information for spatial reasoning
- Efficient algorithms for qualitative reasoning about time
- A Canonical Model of the Region Connection Calculus
- On binary constraint problems
- A relation-algebraic approach to the region connection calculus