A Nominal Approach to Probabilistic Separation Logic.
John M. LiJon AytacPhilip Johnson-FreydAmal AhmedSteven HoltzenPublished in: LICS (2024)
Keyphrases
- probabilistic logic
- logical inference
- probability theory
- logic programming
- bayesian networks
- probabilistic model
- data driven
- generative model
- uncertain data
- information theoretic
- proof theory
- probabilistic knowledge
- sound and complete axiomatization
- database
- probabilistic approaches
- abductive reasoning
- predicate logic
- computational properties
- classical logic
- machine learning
- real time