Mehul Bhatt, Jae Hee Lee, Carl Schultz. CLP(QS): A Declarative Spatial Reasoning Framework. In Max J. Egenhofer, Nicholas A. Giudice, Reinhard Moratz, Michael F. Worboys, editors, Spatial Information Theory - 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings. Volume 6899 of Lecture Notes in Computer Science, pages 210-230, Springer, 2011. [doi]
Abstract is missing.