@dblp

Dynamic and Temporal Answer Set Programming on Linear Finite Traces.

, and . Datalog, volume 2368 of CEUR Workshop Proceedings, page 3-6. CEUR-WS.org, (2019)

Links and resources

Tags