Implementing Dynamic Answer Set Programming over Finite Traces.

Pedro Cabalar, Martn Diguez, Torsten Schaub, Franois Laferrire

Browse the full ECAI paper archive.