Reasoning in the event calculus using first-order automated theorem proving
Erik T. Mueller, Geoff Sutcliffe · 2005
The event calculus (EC) (Shanahan 1999) is a powerful and highly usable formalism for reasoning about action and change, which is rapidly finding application in such areas as natural language processing and robotics. Kowalski and