Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs.
Yuxin DengHuiling WuMing XuPublished in: VMCAI (2) (2024)
Keyphrases
- quantum computation
- quantum mechanics
- probabilistic knowledge
- bayesian networks
- probabilistic model
- data driven
- conditional probabilities
- posterior probability
- spatial reasoning
- belief networks
- quantum probability
- quantum inspired
- programming environment
- probability theory
- computer programs
- data sets
- uncertain data
- context sensitive
- information theoretic
- artificial intelligence