On Forgetting Postulates in Answer Set Programming.

Jianmin Ji, Jia-Huai You, Yisong Wang

Browse the full IJCAI paper archive.