Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
Benjamin CabreraTobias HeindelReiko HeckelBarbara KönigPublished in: CONCUR (2018)
Keyphrases
- probabilistic knowledge
- bayesian networks
- probabilistic reasoning
- probabilistic logic
- propositional logic
- inference rules
- formal model
- logic programming
- conditional probabilities
- inference mechanism
- formal semantics
- reasoning problems
- description logics
- probabilistic model
- constraint satisfaction
- maximum entropy
- random variables
- answer set programming
- automated reasoning
- knowledge representation