Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming | Publicación