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

From MaRDI portal
(Redirected from Publication:6063873)