Compiling Prioritized Circumscription into Extended Logic Programs

Toshiko Wakaki, Ken Satoh. Compiling Prioritized Circumscription into Extended Logic Programs. In IJCAI (1). pages 182-189, 1997.

Abstract

Abstract is missing.