APPROXIMATE INFERENCE IN DEFAULT LOGIC AND CIRCUMSCRIPTION
Marco Cadoli, Marco Schaerf · Fundamenta Informaticae · 1994
We propose a technique for dealing with the high complexity of reasoning under propositional default logic and circumscription. The technique is based on the notion of approximation: A logical consequence relation is computed by means of sound and pr