A condensed semantics for qualitative spatial reasoning about oriented straight line segments

DOI10.1016/j.artint.2011.07.004zbMath1252.68278OpenAlexW2144057119MaRDI QIDQ420800

Dominik Lücke, Till Mossakowski, Reinhard Moratz

Publication date: 23 May 2012

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2011.07.004

zbMATH Keywords

affine geometryrelation algebraqualitative spatial reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Related Items

Qualitative reasoning about relative direction of oriented points, Unnamed Item

Uses Software

• Isabelle/HOL
• HOL Light
• SparQ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Qualitative reasoning with directional relations
• Region connection calculus: Its models and composition table
• Composing cardinal direction relations
• Relation algebras
• Consistency in networks of relations
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Qualitative representation of positional information
• A new approach to cyclic ordering of 2D orientations using ternary relation algebras
• Isabelle/HOL. A proof assistant for higher-order logic
• Qualitative spatial reasoning with topological information
• Networks of constraints: Fundamental properties and applications to picture processing
• HOL Light: An Overview
• Weak Composition for Qualitative Spatial and Temporal Reasoning
• On binary constraint problems
• Reasoning about temporal relations
• Self-dual configurations and regular graphs