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

DOI10.1016/J.ARTINT.2011.07.004MaRDI QIDQ420800zbMATH OpenOpenAlexFDO

Authors Reinhard Moratz, Dominik Lücke, Till Mossakowski

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

relation algebraqualitative spatial reasoningaffine geometry

Mathematics Subject Classification ID

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

Recommendations

• Relations between spatial calculi about directions and orientations
• Qualitative reasoning with directional relations
• Qualitative spatial reasoning with topological information
• Qualitative reasoning about relative direction of oriented points
• Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra

Cites work

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

Cited in

(2)

• Qualitative reasoning about relative direction of oriented points
• Granular spatial calculi of relative directions or movements with parallelism: consistent account (short paper)

Describes a project that uses

Uses Software

• SparQ
• HOL Light
• Isabelle/HOL

This page was built for publication: A condensed semantics for qualitative spatial reasoning about oriented straight line segments

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