Qualitative reasoning : - Kuipers, Benjamin (Artificial intelligence (Cambridge, Mass.), 1994)