Towards a Unifying Theory of Logical and Probabilistic Reasoning.
Rolf HaenniPublished in: ISIPTA (2005)
Keyphrases
- probabilistic reasoning
- probabilistic logic
- bayesian logic programs
- reasoning under uncertainty
- bayesian networks
- model theoretic
- probabilistic knowledge
- constraint satisfaction
- probabilistic inference
- automated reasoning
- default reasoning
- first order logic
- belief networks
- knowledge representation
- logic programming
- graphical models
- statistical relational learning
- markov logic networks
- data mining
- neural network
- trade off
- support vector