On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop.
Xin SunXingchi SuXiaoning BianAnran CuiPublished in: CoRR (2024)
Keyphrases
- probabilistic logic
- probability theory
- probabilistic model
- logical inference
- classical logic
- modal logic
- uncertain data
- data driven
- website
- logic programming
- probabilistic knowledge
- multi valued
- bayesian networks
- user satisfaction
- programming language
- database
- generative model
- belief networks
- conditional probabilities
- data quality
- information systems
- set theory
- nonmonotonic logics
- data sets