A Theorem Prover for Prioritized Circumscription.

Andrew B. Baker, Matthew L. Ginsberg

Browse the full IJCAI paper archive.