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]

Authors

Joaquín Arias

This author has not been identified. Look up 'Joaquín Arias' in Google

Manuel Carro

This author has not been identified. It may be one of the following persons: Look up 'Manuel Carro' in Google

Zhuo Chen

This author has not been identified. Look up 'Zhuo Chen' in Google

Gopal Gupta

This author has not been identified. Look up 'Gopal Gupta' in Google