A probabilistic separation logic.
Gilles BartheJustin HsuKevin LiaoPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- probabilistic logic
- logical inference
- probability theory
- modal logic
- probabilistic model
- logic programming
- probabilistic knowledge
- bayesian networks
- uncertain data
- genetic algorithm
- generative model
- databases
- posterior probability
- sound and complete axiomatization
- probabilistic approaches
- deontic logic
- information theoretic
- probability distribution
- website
- data mining