Symbolic model checking of probabilistic knowledge.
Xiaowei HuangCheng LuoRon van der MeydenPublished in: TARK (2011)
Keyphrases
- probabilistic knowledge
- symbolic model checking
- model checking
- probabilistic logic
- formal verification
- inference rules
- probabilistic reasoning
- formal model
- partial observability
- logic programming
- propositional logic
- binary decision diagrams
- symbolic representation
- bayesian networks
- reasoning problems
- formal semantics
- maximum entropy
- inference mechanism
- description logics
- conditional probabilities
- planning domains
- knowledge based systems
- training set