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

Joaquín Arias, Manuel Carro, Zhuo Chen +1

Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model com…