Forgetting for Answer Set Programs Revisited

by Yisong Wang, Kewen Wang, Mingyi Zhang
Venue:PROCEEDINGS OF THE TWENTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE