Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
From MaRDI portal
Publication:1045997
DOI10.1016/j.artint.2009.07.001zbMath1190.68061MaRDI QIDQ1045997
Michael Winter, Torsten Hahmann, Michael Gruninger
Publication date: 21 December 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2009.07.001
mereotopology; qualitative spatial reasoning; non-distributive pseudocomplemented lattice; region-based space; Stonian p-ortholattice
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03G25: Other algebras related to logic
06C15: Complemented lattices, orthocomplemented lattices and posets