Keyphrases
- event calculus
- temporal reasoning
- temporal information
- commonsense reasoning
- temporal databases
- reasoning about actions and change
- situation calculus
- reasoning tasks
- partially ordered
- deductive databases
- access control
- qualitative and quantitative
- domain specific knowledge
- temporal data
- indirect effects
- high level
- partial order
- machine learning
- expressive power
- transitive closure
- bayesian networks