moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming
2020 ◽
Vol 34
(03)
◽
pp. 3017-3024
Keyword(s):
2018 ◽
Vol 18
(3-4)
◽
pp. 571-588
◽
2020 ◽
Vol 20
(5)
◽
pp. 783-798
Keyword(s):
2018 ◽
Vol 19
(2)
◽
pp. 262-289
◽
2010 ◽
Vol 10
(4-6)
◽
pp. 481-496
◽
Keyword(s):
2011 ◽
Vol 13
(3)
◽
pp. 395-463
2006 ◽
Vol 6
(1-2)
◽
pp. 61-106
◽
Keyword(s):
2014 ◽
Vol 50
◽
pp. 31-70
◽
2003 ◽
Vol 19
◽
pp. 25-71
◽
Keyword(s):
2019 ◽
Vol 33
◽
pp. 2809-2816
◽
Keyword(s):