An Extension to Kowalski & Sergot's Event Calculus.
Mario BorilloBruno GaumePublished in: ECAI (1990)
Keyphrases
- event calculus
- reasoning about actions and change
- situation calculus
- reasoning tasks
- temporal reasoning
- deductive databases
- partially ordered
- commonsense reasoning
- domain specific knowledge
- transitive closure
- temporal information
- directed acyclic graph
- general purpose
- data management
- integrity constraints
- databases
- programming language
- general theory
- query processing