@dblp

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

, and . LPNMR, volume 10377 of Lecture Notes in Computer Science, page 336-342. Springer, (2017)

Links and resources

Tags