Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- temporal reasoning
- partially ordered
- reasoning tasks
- deductive databases
- commonsense reasoning
- domain specific knowledge
- transitive closure
- image sequences
- machine learning
- indirect effects
- database systems
- description logics
- data management
- expressive power
- temporal information