We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodies within a confining environment.
Brandon Bennett, Anthony G. Cohn, Paolo Torrini, S