Reasoning about conditional probabilities in a higher-order-logic theorem prover
From MaRDI portal
Publication:545151
DOI10.1016/J.JAL.2011.01.001zbMATH Open1216.68234OpenAlexW1972387650MaRDI QIDQ545151FDOQ545151
Publication date: 22 June 2011
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://spectrum.library.concordia.ca/974505/1/reasoning_about_conditional_probabilities.pdf
Recommendations
- Probabilistic analysis of dynamic fault trees using HOL theorem proving
- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
- Formalization of finite-state discrete-time Markov chains in HOL
- Probabilistic reasoning in a classical logic
- Formal reasoning about classified Markov chains in HOL
formal methodsprobabilistic analysisBayes theorembinary channelHOL theorem provertotal probability law
Cites Work
- A theory of type polymorphism in programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Isabelle. A generic theorem prover
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formalization of Continuous Probability Distributions
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL
- Verification of the Miller-Rabin probabilistic primality test.
- Verification of Expectation Properties for Discrete Random Variables in HOL
- Formal verification of tail distribution bounds in the HOL theorem prover
- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
- Proofs of Randomized Algorithms in Coq
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (5)
- Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs
- A logic with higher order conditional probabilities
- Formal reasoning about finite-state discrete-time Markov chains in HOL
- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
- Title not available (Why is that?)
Uses Software
This page was built for publication: Reasoning about conditional probabilities in a higher-order-logic theorem prover
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q545151)
