Keyphrases
- probabilistic reasoning
- knowledge representation
- probabilistic knowledge
- bayesian networks
- reasoning under uncertainty
- probabilistic logic
- first order logic
- automated reasoning
- belief networks
- knowledge base
- inference rules
- probabilistic inference
- logic programming
- constraint satisfaction
- default reasoning
- modal logic
- machine learning
- markov logic networks
- statistical relational learning
- graphical models
- object oriented
- natural language
- artificial intelligence