A quantitative probabilistic relational Hoare logic.
Martin AvanziniGilles BartheDavide DavoliBenjamin GrégoirePublished in: CoRR (2024)
Keyphrases
- probabilistic relational
- modal logic
- qualitative and quantitative
- defeasible logic
- classical logic
- predicate logic
- logic programming
- automated reasoning
- quantitative and qualitative
- computational properties
- logical framework
- multi valued
- prior knowledge
- deontic logic
- bayesian logic programs
- asynchronous circuits
- proof theory
- neural network
- probability theory
- constraint satisfaction
- first order logic
- domain knowledge
- relational databases