On Condensing a Sequence of Updates in Answer-Set Programming

Open in new window