Weak Composition for Qualitative Spatial and Temporal Reasoning

DOI10.1007/11564751_40zbMATH Open1153.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)

Cited In (16)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3524203)