Abductive Logic Programming by Nonground Rewrite Systems.

Fangzhen Lin, Jia-Huai You

Browse the full AAAI paper archive.