Circumscription by Inference Rules with Priority.

Xianchang Wang, Jia-Huai You, Li-Yan Yuan

Browse the full ECAI paper archive.