Credulous Resolution for Answer Set Programming.

Piero A. Bonatti, Enrico Pontelli, Tran Cao Son

Browse the full AAAI paper archive.