The Expressivity of Quantifying over Regions

DOI10.1093/LOGCOM/EXL020zbMath1116.03011OpenAlexW1981040079MaRDI QIDQ3431978

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

first-order definabilityspatial representationqualitative spatial reasoningqualitative spatial representationanalytical relationquantification over regions in Euclidean space

Mathematics Subject Classification ID

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

Related Items (5)

Locative and directional prepositions in conceptual spaces: the role of polar convexity ⋮ Pouring liquids: a study in commonsense physical reasoning ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ How does a box work? A study in the qualitative dynamics of solid objects ⋮ FULL MEREOGEOMETRIES

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