Qualitative Spatial Reasoning: The Clock Project Project:

Artificial Intelligence 51 (1991) 417-471, Spatial reasoning is ubiquitous in human problem solving. Significantly, many aspects of it appear to be qualitative. This paper describes a general framework for qualitative spatial reasoning and demonstrates how it can be used to understand complex mechanical systems, such as clocks. The framework is organized around three ideas.