OTHER
Reasoning in the event calculus using first-order automated theorem proving
Erik T. Mueller, Geoff Sutcliffe
- 发表年份
- 2005
- 引用次数
- 4
摘要
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
关键词
Event calculusCalculus (dental)Situation calculusComputer scienceNatural deductionFirst-order logicSatisfiabilityAutomated theorem provingEvent (particle physics)Proof calculus
相关论文
OTHER
📊 26,957 引用
Statistical Learning Theory
Yuhai Wu, Vladimir Vapnik
1999
PERCEPTION
📊 22,245 引用
Artificial intelligence: a modern approach
1995
OTHER
开放获取📊 20,501 引用
Fractional Differential Equations
Igor Podlubný
2025
OTHER
📊 18,993 引用
Applied Nonlinear Control
Jean-Jacques Slotine, Weiping Li
1991