Developments Towards Constraining Qualitative Simulation (1987)

by W W Lee, C Chiu, B J Kuipers
Venue:UT TR A187-44 . Also in AAAI-87 Qualitative Physics Workshop Abstracts