Johan de Kleer

• Readings in model-based diagnosis
• Non-monotonic reasoning