Qualitative reasoning modeling and simulation with incomplete knowledge - Kuipers, Benjamin (The MIT Press, 1994)