Forgetting in Answer Set Programming

The dataset used in the paper is a set of answer set programs and their corresponding V-HT-models.

BibTex: