Axiomatizing discrete spatial relations

DOI10.1007/978-3-030-02149-8_8OpenAlexW2895651535WikidataQ61307329 ScholiaQ61307329MaRDI QIDQ1617812

Katsuhiko Sano, Giulia Sindoni, John G. Stell

Publication date: 8 November 2018

Full work available at URL: http://eprints.whiterose.ac.uk/137857/1/short-axiomatizing-discrete%20%283%29.pdf

zbMATH Keywords

spatial relationsdiscrete spaceintuitionistic-modal logicqualitative representation and reasoning

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

Expressing discrete spatial relations under granularity

Uses Software

• MetTeL