Computing Prioritized Circumscription by Logic Programming.

Toshiko Wakaki, Ken Satoh

Browse the full ICLP paper archive.