Benjamin Kuipers
Qualitative reasoning
A scalable distributed approach to mobile robot vision
Control of the Physical World by Intelligent Agents
Monitoring with trackers based on semi-quantitative models
Qualitative Simulation and Causal Models
Self-calibrating models for dynamic monitoring and diagnosis
System monitoring and diagnosis with qualitative models