Leif Harald Karlsen, Martin Giese. A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. In Tomasz Lechowski, Przemyslaw Andrzej Walega, Michal Zawidzki, editors, Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), Lódz, Poland, September 13-16, 2015. Volume 7 of Annals of Computer Science and Information Systems, pages 21-33, 2015. [doi]
Abstract is missing.