A modal and relevance logic for qualitative spatial reasoning

DOI10.1007/978-3-030-02149-8_9MaRDI QIDQ1617813zbMATH OpenOpenAlexFDO

Authors R. Smith

Publication date 8 November 2018

Full work available at URL https://doi.org/10.1007/978-3-030-02149-8_9

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• A relational logic for spatial contact based on rough set approximation
• scientific article; zbMATH DE number 2202279
• The Lattice of Contact Relations on a Boolean Algebra
• Relational proof systems for spatial reasoning
• Boolean connection algebras: A new approach to the Region-Connection Calculus

Cited in

(6)

• Boolean connection algebras: A new approach to the Region-Connection Calculus
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Relational proof systems for spatial reasoning
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)

Describes a project that uses

Uses Software

• Coq

This page was built for publication: A modal and relevance logic for qualitative spatial reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1617813)