The Situation Calculus and Event Calculus Compared.
Robert A. KowalskiFariba SadriPublished in: ILPS (1994)
Keyphrases
- event calculus
- situation calculus
- action theories
- reasoning tasks
- temporal reasoning
- initial state
- deductive databases
- domain specific knowledge
- indirect effects
- reasoning about actions
- partially ordered
- concurrent actions
- sensing actions
- transitive closure
- software engineering
- relational databases
- expert systems
- natural language