A Reduction Result for Circumscribed Semi-Horn Formulas
Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas · Fundamenta Informaticae · 1996
Circumscription has been perceived as an elegant mathematical technique for modeling nonmonotonic and commonsense reasoning, but difficult to apply in practice due to the use of second-order formulas. One proposal for dealing with the computational p