OTHER
Reasoning in the event calculus using first-order automated theorem proving
Erik T. Mueller, Geoff Sutcliffe
- Year
- 2005
- Citations
- 4
Abstract
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
Keywords
Event calculusCalculus (dental)Situation calculusComputer scienceNatural deductionFirst-order logicSatisfiabilityAutomated theorem provingEvent (particle physics)Proof calculus
Related papers
OTHER
📊 26,957 cites
Statistical Learning Theory
Yuhai Wu, Vladimir Vapnik
1999
PERCEPTION
📊 22,245 cites
Artificial intelligence: a modern approach
1995
OTHER
Open access📊 20,501 cites
Fractional Differential Equations
Igor Podlubný
2025
OTHER
📊 18,993 cites
Applied Nonlinear Control
Jean-Jacques Slotine, Weiping Li
1991