The Expressivity of Quantifying over Regions

DOI10.1093/LOGCOM/EXL020MaRDI QIDQ3431978zbMATH OpenOpenAlexFDO

Authors Ernest Davis

Publication date 13 April 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exl020

zbMATH Keywords

spatial representationfirst-order definabilityqualitative spatial reasoningqualitative spatial representationanalytical relationquantification over regions in Euclidean space

Mathematics Subject Classification ID

Knowledge representation (68T30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30) Applications of computability and recursion theory (03D80)

Recommendations

• Quantifying over the reals
• On the expressiveness of choice quantification
• Algebras of approximating regions
• Characterizing spatial quantales
• A calculus of regions respecting both measure and topology
• A new approach to quantitative domain theory
• scientific article; zbMATH DE number 1302048

Cited in

(9)

• How does a box work? A study in the qualitative dynamics of solid objects
• FULL MEREOGEOMETRIES
• The expressive power of first-order topological languages
• Locative and directional prepositions in conceptual spaces: the role of polar convexity
• On the computability of region-based Euclidean logics
• Expressivity in polygonal, plane mereotopology
• Pouring liquids: a study in commonsense physical reasoning
• Elementarily equivalent structures for topological languages over regions in Euclidean space
• A modal logic framework for reasoning about comparative distances and topology

This page was built for publication: The Expressivity of Quantifying over Regions

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