Reasoning about Discontinuities in the Event Calculus.
Rob MillerMurray ShanahanPublished in: KR (1996)
Keyphrases
- event calculus
- reasoning about actions and change
- situation calculus
- partially ordered
- temporal reasoning
- deductive databases
- reasoning tasks
- commonsense reasoning
- domain specific knowledge
- transitive closure
- concurrent actions
- formal theory
- directed acyclic graph
- general theory
- indirect effects
- temporal databases
- artificial intelligence
- integrity constraints
- expert systems