Scivos, Alexander; Nebel, Bernhard Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation. (English) Zbl 1042.68797 Montello, Daniel R. (ed.), Spatial information theory. Foundations of geographic information science. 5th international conference, COSIT 2001, Morro Bay, CA, USA, September 19–23, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42613-2). Lect. Notes Comput. Sci. 2205, 431-446 (2001). MSC: 68U99 68U05 68U35 68T30 68Q25 PDFBibTeX XMLCite \textit{A. Scivos} and \textit{B. Nebel}, Lect. Notes Comput. Sci. 2205, 431--446 (2001; Zbl 1042.68797) Full Text: Link
Ligozat, Gérard When tables tell it all: Qualitative spatial and temporal reasoning based on linear orderings. (English) Zbl 1042.68767 Montello, Daniel R. (ed.), Spatial information theory. Foundations of geographic information science. 5th international conference, COSIT 2001, Morro Bay, CA, USA, September 19–23, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42613-2). Lect. Notes Comput. Sci. 2205, 60-75 (2001). MSC: 68U99 68U05 68U35 PDFBibTeX XMLCite \textit{G. Ligozat}, Lect. Notes Comput. Sci. 2205, 60--75 (2001; Zbl 1042.68767) Full Text: Link