Probabilistic reasoning in a classical logic.
Kee Siong NgJohn W. LloydPublished in: J. Appl. Log. (2009)
Keyphrases
- classical logic
- probabilistic reasoning
- logic programming
- bayesian networks
- logic programs
- probabilistic logic
- automated reasoning
- knowledge representation
- modal logic
- probabilistic inference
- first order logic
- default reasoning
- nonmonotonic reasoning
- intuitionistic logic
- default logic
- constraint satisfaction
- knowledge base
- belief networks
- programming language
- valued logic
- expert systems
- genetic algorithm