Keyphrases
- probabilistic reasoning
- probabilistic logic
- probabilistic knowledge
- bayesian networks
- reasoning under uncertainty
- bayesian logic programs
- probabilistic inference
- first order logic
- belief networks
- automated reasoning
- constraint satisfaction
- default reasoning
- knowledge representation
- logic programming
- markov logic networks
- statistical relational learning
- qualitative probabilistic networks
- abductive reasoning
- machine learning
- neural network
- graphical models
- trade off