Title: A theory and system for non-monotonic reasoning
Subjects: Reasoning