Discrete Event Calculus with Branching Time.
Erik T. MuellerPublished in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Keyphrases
- event calculus
- temporal reasoning
- reasoning about actions and change
- commonsense reasoning
- reasoning tasks
- situation calculus
- qualitative and quantitative
- deductive databases
- partially ordered
- temporal information
- transitive closure
- temporal logic
- description logics
- database
- domain specific knowledge
- video sequences
- indirect effects
- directed acyclic graph
- general theory
- high level