Temporal Answer Set Programming on Finite Traces

Open in new window