Realizing RCC8 networks using convex regions

DOI10.1016/j.artint.2014.10.002zbMath1319.68212arXiv1410.2442OpenAlexW1971418835WikidataQ62042731 ScholiaQ62042731MaRDI QIDQ2512988

Steven Schockaert, Sanjiang Li

Publication date: 2 February 2015

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

Full work available at URL: https://arxiv.org/abs/1410.2442

zbMATH Keywords

convexityregion connection calculusconceptual spacesqualitative spatial reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Uses Software

• PelletSpatial
• GeoSPARQL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Solving conflicts in information merging by a flexible interpretation of atomic propositions
• Spatial reasoning in a fuzzy region connection calculus
• On topological consistency and realization
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Constraint networks of topological relations and convexity
• Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces
• Complexity of Some Geometric and Topological Problems
• Polynomial Root Motion
• A Canonical Model of the Region Connection Calculus
• Polynomial Root Dragging
• On the combinatorial and algebraic complexity of quantifier elimination
• From Frequency to Meaning: Vector Space Models of Semantics
• Enriching Taxonomies of Place Types Using Flickr
• A Logic for Concepts and Similarity
• Using the Borsuk-Ulam theorem. Lectures on topological methods in combinatorics and geometry. Written in cooperation with Anders Björner and Günter M. Ziegler

This page was built for publication: Realizing RCC8 networks using convex regions