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

Joaqun Arias, Zhuo Chen, Manuel Carro, Gopal Gupta

Browse the full LOPSTR paper archive.