Carl P. L. Schultz, Mehul Bhatt. Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS). 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 55-63, 2015. [doi]
Abstract is missing.