Keyphrases
- logic programming
- classical logic
- valued semantics
- inference mechanism
- bayesian inference
- belief base
- artificial intelligence
- bayesian networks
- inference rules
- probabilistic reasoning
- efficient learning
- inference engine
- valued logic
- integrity checking
- measurement data
- possibilistic logic
- multi valued
- database
- probabilistic inference
- belief networks
- logic programs
- machine learning
- neural network