Metric Temporal Answer Set Programming over Timed Traces.

Pedro Cabalar, Martn Diguez, Torsten Schaub, Anna Schuhmann

Browse the full LPNMR paper archive.