Some probabilistic riddles and some logical solutions

DOI10.1007/978-3-031-61716-4_9MaRDI QIDQ7030785zbMATH OpenFDO

Authors Bart Jacobs

Publication date 7 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-61716-4_9

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A channel-based perspective on conjugate priors
• A principled approach to expectation maximisation and latent Dirichlet allocation using Jeffrey's update rule
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Disintegration and Bayesian inversion via string diagrams
• scientific article; zbMATH DE number 4152345 (Why is no real title available?)
• Learning from what's right and learning from what's wrong
• New directions in categorical logic, for classical, probabilistic and quantum logic
• Partitions and Ewens distributions in element-free probability theory
• Proof assistants: history, ideas and future
• Proof-assistants using dependent type systems
• The EfProb library for probabilistic calculations
• The Logical Essentials of Bayesian Reasoning
• The mathematics of changing one's mind, via Jeffrey's or via Pearl's update rule
• Type theory and formal proof. An introduction
• Urns & Tubes

This page was built for publication: Some probabilistic riddles and some logical solutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7030785)