Towards Dynamic Answer Set Programming over Finite Traces.

Pedro Cabalar, Martn Diguez, Torsten Schaub

Browse the full LPNMR paper archive.