Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews