scientific article; zbMATH DE number 877746

MaRDI QIDQ4877439zbMATH OpenFDO

Authors Brandon Bennett

Publication date 15 August 1996

zbMATH Keywords

0-order modal logicsconvex-hull operatormodal operatorsmulti-modal logicrepresentation of spatial information

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

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

Cited in

(23)

• A proof system for contact relation algebras
• Combining topological and size information for spatial reasoning
• Axiomatizing discrete spatial relations
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
• A calculus of regions respecting both measure and topology
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• Qualitative spatial representation and reasoning: An overview
• Querying incomplete information in RDF with SPARQL
• scientific article; zbMATH DE number 440111 (Why is no real title available?)
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Modal logics based on mathematical morphology for qualitative spatial reasoning
• A tableau-based system for spatial reasoning about directional relations
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• AI*IA 2005: Advances in Artificial Intelligence
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• A modal logic framework for reasoning about comparative distances and topology
• Completeness of S4 with respect to the real line: revisited
• Local finiteness in varieties of MS4-algebras
• \({\mathcal E}\)-connections of abstract description systems
• Subject-oriented spatial logic
• On topological consistency and realization

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)