Keyphrases
- probabilistic reasoning
- bayesian networks
- reasoning under uncertainty
- probabilistic inference
- probabilistic logic
- default reasoning
- first order logic
- constraint satisfaction
- belief networks
- knowledge representation
- logic programming
- software engineering
- np hard
- relational databases
- markov logic networks
- statistical relational learning
- probabilistic knowledge
- search algorithm