Event calculus and temporal action logics compared.
Erik T. MuellerPublished in: Artif. Intell. (2006)
Keyphrases
- event calculus
- temporal reasoning
- indirect effects
- expressive power
- deductive databases
- situation calculus
- reasoning about actions and change
- sensing actions
- temporal databases
- temporal information
- temporal data
- partially ordered
- reasoning tasks
- inference rules
- databases
- domain specific knowledge
- random variables
- general purpose
- bayesian networks
- artificial intelligence