Implementing Dynamic Answer Set Programming
2020·Arxiv