Keyphrases
- event calculus
- multi agent systems
- situation calculus
- reasoning about actions and change
- sensing actions
- temporal reasoning
- domain specific knowledge
- reasoning tasks
- deductive databases
- partially ordered
- domain independent
- planning problems
- heuristic search
- multi agent
- artificial intelligence
- directed acyclic graph
- transitive closure
- database
- integrity constraints
- logic programs
- state space
- domain knowledge
- relational databases