The Event Calculus and Consistency Maintenance.
Stephen G. PimentelJohn L. CuadradoPublished in: IEA/AIE (Vol. 2) (1990)
Keyphrases
- event calculus
- consistency maintenance
- situation calculus
- reasoning about actions and change
- temporal reasoning
- reasoning tasks
- deductive databases
- partially ordered
- domain specific knowledge
- transitive closure
- general theory
- directed acyclic graph
- automated reasoning
- artificial intelligence
- expressive power
- description logics
- general purpose
- branch bound
- prior knowledge
- knowledge base