The Expressivity of Quantifying over Regions
DOI10.1093/LOGCOM/EXL020zbMATH Open1116.03011OpenAlexW1981040079MaRDI QIDQ3431978FDOQ3431978
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
spatial representationfirst-order definabilityqualitative spatial reasoningqualitative spatial representationanalytical relationquantification over regions in Euclidean space
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)