Compiling Metric Temporal Answer Set Programming.

Arvid Becker, Pedro Cabalar, Martn Diguez, Susana Hahn, Javier Romero, Torsten Schaub

Browse the full LPNMR paper archive.