Lilac: A Modal Separation Logic for Conditional Probability.
John M. LiAmal AhmedSteven HoltzenPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- conditional probabilities
- modal logic
- bayesian networks
- probabilistic inference
- probabilistic model
- nonmonotonic logics
- probability distribution
- belief networks
- inference rules
- random variables
- bayesian model
- classical logic
- joint distribution
- posterior probability
- temporal logic
- dynamic logic
- network parameters
- class labels
- modal operators
- prior probabilities
- transition systems
- default logic
- logic programming
- multi valued
- bayesian inference
- training data
- text classification
- logic programs