Keyphrases
- default reasoning
- probabilistic logic
- probabilistic reasoning
- nonmonotonic reasoning
- belief revision
- dependency directed backtracking
- default logic
- closed world reasoning
- bayesian networks
- probabilistic knowledge
- proof theory
- conditional logic
- partial order
- belief networks
- inheritance reasoning
- probabilistic model
- default rules
- default theories
- neural network
- proof theoretic
- statistical relational learning
- constraint satisfaction
- search algorithm
- relational databases
- knowledge representation
- general purpose
- maximum entropy
- logic programming