Reformulating Temporal Action Logics in Answer Set Programming

Open in new window