State Aggregation through Reasoning in Answer Set Programming