Inproceedings,

Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming.

, , , and .
LOPSTR, volume 12042 of Lecture Notes in Computer Science, page 139-155. Springer, (2019)

Meta data

Tags

Users

  • @dblp

Comments and Reviews