Qualitative Simulation Based on a Logical Formalism of Space and Time.

Zhan Cui, Anthony G. Cohn, David A. Randell

Browse the full AAAI paper archive.