Keyphrases
- abductive reasoning
- logic programming
- multiple inheritance
- belief base
- bayesian inference
- real time
- modal logic
- nonmonotonic reasoning
- nonmonotonic inference
- inference engine
- decision theoretic
- efficient learning
- structured prediction
- inference process
- belief networks
- logic programs
- object oriented
- artificial intelligence