Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- deductive databases
- temporal reasoning
- reasoning tasks
- partially ordered
- commonsense reasoning
- domain specific knowledge
- transitive closure
- classical logic
- representation language
- temporal information
- indirect effects
- general theory
- belief functions
- artificial intelligence
- temporal logic
- bayesian networks