Computing Circumscription of Horn Theories.

Yves Moinard

Browse the full ECAI paper archive.