Compiling Prioritized Circumscription into Answer Set Programming.

Toshiko Wakaki, Katsumi Inoue

Browse the full ICLP paper archive.