Weak Composition for Qualitative Spatial and Temporal Reasoning

DOI10.1007/11564751_40zbMATH Open1153.68482OpenAlexW1489545972MaRDI QIDQ3524203FDOQ3524203

Authors: Jochen Renz, Gérard Ligozat 

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

Recommendations

• scientific article; zbMATH DE number 2202278
• So, what exactly is a qualitative calculus?
• Algebraic foundations for qualitative calculi and networks
• scientific article; zbMATH DE number 5953014
• Relation algebras and their application in temporal and spatial reasoning

Mathematics Subject Classification ID

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

Cited In (19)

• 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
• Title not available (Why is that?)
• On the consistency problem for the \(\mathcal {INDU}\) calculus
• Algebraic foundations for qualitative calculi and networks
• 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
• So, what exactly is a qualitative calculus?
• Branching interval algebra: an almost complete picture
• Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
• Generalized qualitative spatio-temporal reasoning: complexity and tableau method
• 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)