Keyphrases
- event calculus
- situation calculus
- reasoning about actions
- reasoning about actions and change
- temporal reasoning
- commonsense reasoning
- action theories
- reasoning tasks
- initial state
- partially ordered
- deductive databases
- logic programming
- action language
- modal logic
- transitive closure
- domain specific knowledge
- classical logic
- high level
- temporal data
- temporal information
- domain independent
- expressive power
- general purpose