Keyphrases
- default reasoning
- default theories
- probabilistic logic
- default rules
- nonmonotonic logics
- default logic
- probabilistic model
- information theoretic
- bayesian networks
- formal semantics
- probabilistic reasoning
- logic programming
- generative model
- database
- expert systems
- belief functions
- uncertain data
- expressive power
- data driven
- model theoretic
- probabilistic knowledge
- modal operators
- truth maintenance systems
- probabilistic approaches
- uncertain databases