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

JoaquĆ­n Arias, Manuel Carro, Zhuo Chen, Gopal Gupta. Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. TPLP, 22(1):51-80, 2022. [doi]

Abstract

Abstract is missing.