The Expressivity of Quantifying over Regions

DOI10.1093/LOGCOM/EXL020zbMATH Open1116.03011OpenAlexW1981040079MaRDI QIDQ3431978FDOQ3431978

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

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

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)

Cited In (6)

• How does a box work? A study in the qualitative dynamics of solid objects
• FULL MEREOGEOMETRIES
• Locative and directional prepositions in conceptual spaces: the role of polar convexity
• Expressivity in polygonal, plane mereotopology
• Pouring liquids: a study in commonsense physical reasoning
• 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)