Abduction with Penalization in Logic Programming

Giovambattista Ianni Nicola Leone Simona Perri Francesco Scarcello Abduction with Penalization in Logic Programming http://arxiv.org/abs/cs.LO/0111010 2001 CoRR cs.LO/0111010 db/journals/corr/corr0111.html#cs-LO-0111010