Knowledge Forgetting in Answer Set Programming