Temporal Answer Set Programming on Finite Traces
Multi-shot ASP solving with clingo