Temporal Answer Set Programming on Finite Traces
action language bc : preliminary report .