Handbook of Spatial Logics
DOI10.1007/978-1-4020-5587-4zbMath1172.03001WikidataQ62709842 ScholiaQ62709842MaRDI QIDQ3511030
No author found.
Publication date: 4 July 2008
Full work available at URL: https://doi.org/10.1007/978-1-4020-5587-4
spatial databases; mereotopology; spatial logic; logic and relativity; calculi for spatial reasoning; combining spatial and temporal logic; contact relations and algebras; discrete spatial models; geometric logics; image processing and mathematical morphology; modal logics and topology; ontologies for spatial reasoning
68P15: Database theory
68U10: Computing methodologies for image processing
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B70: Logic in computer science
03G30: Categorical logic, topoi
03B10: Classical first-order logic
03G05: Logical aspects of Boolean algebras
03-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
03B80: Other applications of logic
Related Items