Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews