Keyphrases
- default reasoning
- probabilistic reasoning
- nonmonotonic reasoning
- belief revision
- conditional logic
- dependency directed backtracking
- default logic
- partial order
- bayesian networks
- probabilistic logic
- proof theory
- probabilistic inference
- default rules
- closed world reasoning
- logic programming
- inheritance reasoning
- constraint satisfaction
- knowledge representation
- first order logic
- multi dimensional
- default theories
- inference process
- artificial intelligence