Progression for Monitoring in Temporal ASP.

Davide Sold, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter

Browse the full ECAI paper archive.