Extending and Completing Probabilistic Knowledge and Beliefs Without Bias.
Christoph BeierleGabriele Kern-IsbernerMarc FinthammerNico PotykaPublished in: Künstliche Intell. (2015)
Keyphrases
- probabilistic knowledge
- probabilistic logic
- propositional logic
- inference rules
- probabilistic reasoning
- belief revision
- logic programming
- formal model
- bayesian networks
- default reasoning
- conditional probabilities
- description logics
- inference mechanism
- decision making
- formal semantics
- automated reasoning
- reasoning problems
- theorem prover
- belief functions
- nonmonotonic reasoning