Weak Composition for Qualitative Spatial and Temporal Reasoning

DOI10.1007/11564751_40zbMath1153.68482OpenAlexW1489545972MaRDI QIDQ3524203

Gérard Ligozat, Jochen Renz

Publication date: 9 September 2008

Published in: Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1885/35277

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (16)

On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning ⋮ Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method ⋮ Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra ⋮ Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles ⋮ Qualitative reasoning with directional relations ⋮ A condensed semantics for qualitative spatial reasoning about oriented straight line segments ⋮ Qualitative reasoning about relative direction of oriented points ⋮ Algebraic foundations for qualitative calculi and networks ⋮ Constants and finite unary relations in qualitative constraint reasoning ⋮ Dynamic Branching in Qualitative Constraint Networks via Counting Local Models ⋮ GNet: a generalized network model and its applications in qualitative spatial reasoning ⋮ Reasoning about cardinal directions between extended objects ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models ⋮ Branching interval algebra: an almost complete picture ⋮ Collective singleton-based consistency for qualitative constraint networks: theory and practice ⋮ Optimization in temporal qualitative constraint networks

This page was built for publication: Weak Composition for Qualitative Spatial and Temporal Reasoning