moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming.

Orkunt Sabuncu, Joo Leite

Browse the full LPNMR paper archive.