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

Open in new window