Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting.

Fangzhen Lin, Jia-Huai You

Browse the full IJCAI paper archive.