The following pages link to (Q4877439):
Displaying 19 items.
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Subject-oriented spatial logic (Q821569) (← links)
- On topological consistency and realization (Q850454) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Combining topological and size information for spatial reasoning (Q1605277) (← links)
- Axiomatizing discrete spatial relations (Q1617812) (← links)
- Multi-dimensional modal logic as a framework for spatio-temporal reasoning (Q1863908) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- An AGM-style belief revision mechanism for probabilistic spatio-temporal logics (Q2269133) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- Qualitative spatial representation and reasoning: An overview (Q2729670) (← links)
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (Q3449232) (← links)
- Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning (Q3647301) (← links)
- (Q5445158) (← links)
