Qualitative reasoning modeling and simulation with incomplete knowledge - Kuipers, Benjamin (Artificial intelligence, 1994)