Lilac: a Modal Separation Logic for Conditional Probability.
John M. LiAmal AhmedSteven HoltzenPublished in: CoRR (2023)
Keyphrases
- conditional probabilities
- modal logic
- probabilistic model
- probability distribution
- bayesian networks
- probabilistic inference
- nonmonotonic logics
- bayesian model
- random variables
- belief networks
- joint distribution
- inference rules
- posterior probability
- classical logic
- dynamic logic
- network parameters
- logic programming
- transition systems
- modal operators
- prior probabilities
- joint probability
- temporal logic
- discrete random variables
- logical framework
- class labels
- multi valued
- machine learning
- feature vectors
- propositional variables
- semi supervised learning