Loop Formulas for Circumscription.

Joohyung Lee, Fangzhen Lin

Browse the full AAAI paper archive.