Keyphrases
- event calculus
- situation calculus
- sensing actions
- reasoning tasks
- reasoning about actions and change
- deductive databases
- domain specific knowledge
- partially ordered
- temporal reasoning
- logic programming
- domain independent
- planning problems
- transitive closure
- background knowledge
- heuristic search
- description logics
- initial state
- indirect effects
- programming language
- concurrent actions
- inductive learning
- machine learning