Nonmonotonic Logic: Context-Dependent Reasoning (Artificial Intelligence)