Keyphrases
- event calculus
- sensing actions
- situation calculus
- commonsense reasoning
- reasoning about actions and change
- temporal reasoning
- partially ordered
- reasoning tasks
- deductive databases
- domain specific knowledge
- transitive closure
- directed acyclic graph
- partial order
- artificial intelligence
- domain specific
- indirect effects
- expert systems
- knowledge base