Keyphrases
- probabilistic reasoning
- automated reasoning
- probabilistic logic
- logic programming
- knowledge representation
- reasoning under uncertainty
- bayesian networks
- deductive reasoning
- first order logic
- constraint satisfaction
- probabilistic inference
- probabilistic knowledge
- inductive logic programming
- default reasoning
- logic programs
- modal logic
- belief networks
- machine learning
- default logic
- programming language
- knowledge base
- graphical models
- natural language
- markov logic networks
- image segmentation
- artificial intelligence