A Two-Stage Approach to First Order Default Reasoning
Karl Schlechta · Fundamenta Informaticae · 1996
Our subject is the representation and analysis of simple first-order default statements of ordinary language, such as “normally, birds fly”. There are, among other approaches, two kinds of analysis, both semantic in style. One interprets “normally, b