Metric Temporal Answer Set Programming over Timed Traces | Publicación