Keyphrases
- event calculus
- situation calculus
- modal logic
- deductive databases
- reasoning about actions and change
- temporal reasoning
- partially ordered
- commonsense reasoning
- reasoning tasks
- domain specific knowledge
- integrity constraints
- transitive closure
- indirect effects
- background knowledge
- temporal databases
- general theory
- artificial intelligence
- temporal information
- training data
- contextual information
- machine learning
- qualitative and quantitative
- partial order