Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.

Emilia Oikarinen, Tomi Janhunen

Browse the full AIMSA paper archive.