M. Reinfrank

• Non-Monotonic Reasoning
• Truth maintenance systems