Pedro Cabalar, Torsten Schaub. Dynamic and Temporal Answer Set Programming on Linear Finite Traces. In Mario Alviano, Andreas Pieris, editors, Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. Volume 2368 of CEUR Workshop Proceedings, pages 3-6, CEUR-WS.org, 2019. [doi]
Abstract is missing.