A Nominal Approach to Probabilistic Separation Logic.
John M. LiJon AytacPhilip Johnson-FreydAmal AhmedSteven HoltzenPublished in: CoRR (2024)
Keyphrases
- probabilistic logic
- probability theory
- logical inference
- bayesian networks
- probabilistic reasoning
- generative model
- uncertain data
- probabilistic knowledge
- abductive reasoning
- logic programming
- data driven
- decision trees
- real time
- probabilistic model
- proof theory
- information theoretic
- modal logic
- context sensitive
- automated reasoning
- classical logic
- computational properties
- information retrieval
- probabilistic approaches
- data mining