The logic of discrete qualitative relations
From MaRDI portal
Publication:4580233
DOI10.4230/LIPICS.COSIT.2017.1zbMATH Open1433.68433MaRDI QIDQ4580233FDOQ4580233
Authors: Giulia Sindoni, John G. Stell 
Publication date: 13 August 2018
Recommendations
- Axiomatizing discrete spatial relations
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
- Modal logics for mereotopological relations
- Dynamic logics of the region-based theory of discrete spaces
Knowledge representation (68T30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)
Cites Work
- Handbook of modal logic
- Title not available (Why is that?)
- Bi-Heyting algebras, toposes and modalities
- A bi-intuitionistic modal logic: foundations and automation
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- Digital Topology
- Title not available (Why is that?)
- Mereotopological connection
- Title not available (Why is that?)
- A proximity approach to some region-based theories of space
- Discrete Mereotopology
Cited In (6)
- Qualitative reasoning about gradual deformations of topological relationships
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
- Expressing discrete spatial relations under granularity
This page was built for publication: The logic of discrete qualitative relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580233)
