Incremental Answer Set Programming with Overgrounding