Computing Circumscriptive Databases by Integer Programming: Revisited.

Ken Satoh, Hidenori Okamoto

Browse the full AAAI paper archive.