Probabilistic Semantics and Program Analysis.
Alessandra Di PierroChris HankinHerbert WiklickyPublished in: SFM (2010)
Keyphrases
- formal semantics
- logic programming
- bayesian networks
- probabilistic model
- uncertain data
- probabilistic knowledge
- uncertain databases
- databases
- conditional probabilities
- information theoretic
- probabilistic approaches
- operational semantics
- belief networks
- semantic information
- knowledge representation
- metadata
- knowledge base