User Guided Abductive Proof Generation for Answer Set Programming Queries.

Avishkar Mahajan, Martin Strecker, Meng Weng Wong

Browse the full PPDP paper archive.