Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- temporal reasoning
- sensing actions
- deductive databases
- reasoning tasks
- domain specific knowledge
- partially ordered
- planning problems
- domain independent
- heuristic search
- transitive closure
- database
- image sequences
- initial state
- temporal information
- directed acyclic graph
- description logics
- general theory
- partial order
- logic programming