Compiling circumscriptive theories into logic programs (1988)

by M Gelfond, V Lifschitz
Venue:In Proceedings of the 7th National Conference on Artificial Intelligence, AAAI-88