CHICA, an Abductive Planning System Based on Event Calculus.
Lode MissiaenMaurice BruynoogheMarc DeneckerPublished in: J. Log. Comput. (1995)
Keyphrases
- event calculus
- deductive databases
- logic programming
- situation calculus
- reasoning tasks
- reasoning about actions and change
- domain specific knowledge
- partially ordered
- commonsense reasoning
- background knowledge
- temporal reasoning
- transitive closure
- directed acyclic graph
- partial order
- domain knowledge
- bayesian networks
- automated reasoning
- domain independent
- general theory
- expressive power
- domain specific
- indirect effects