scientific article; zbMATH DE number 877746
From MaRDI portal
Publication:4877439
zbMATH Open0843.03010MaRDI QIDQ4877439FDOQ4877439
Authors: Brandon Bennett 
Publication date: 15 August 1996
Title of this publication is not available (Why is that?)
Recommendations
- A modal and relevance logic for qualitative spatial reasoning
- scientific article; zbMATH DE number 1487806
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- A modal logic for subject-oriented spatial reasoning
- A spatial modal logic with a location interpretation
- Qualitative spatial reasoning in a logical framework
- scientific article; zbMATH DE number 5241969
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- Multi-dimensional modal logic as a framework for spatio-temporal reasoning
- Modal logics for qualitative possibility theory
modal operatorsmulti-modal logicrepresentation of spatial information0-order modal logicsconvex-hull operator
Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Other applications of logic (03B80)
Cited In (22)
- Subject-oriented spatial logic
- Querying incomplete information in RDF with SPARQL
- Axiomatizing discrete spatial relations
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
- Qualitative spatial representation and reasoning: An overview
- Completeness of S4 with respect to the real line: revisited
- \({\mathcal E}\)-connections of abstract description systems
- On topological consistency and realization
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- A proof system for contact relation algebras
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- Title not available (Why is that?)
- AI*IA 2005: Advances in Artificial Intelligence
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- A calculus of regions respecting both measure and topology
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
- Multi-dimensional modal logic as a framework for spatio-temporal reasoning
- A tableau-based system for spatial reasoning about directional relations
- Title not available (Why is that?)
- Combining topological and size information for spatial reasoning
- A modal logic framework for reasoning about comparative distances and topology
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4877439)
