Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)

Ken Satoh, Hidenori Okamoto

In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axioms…