2 papers
cs.LO2026
A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
Abbas Edalat, Pietro Di Gianantonio, Amin Farjudian
We develop a domain-theoretic framework for imprecise probability reasoning and inference on general topological spaces with a countably based continuous lattice of open sets. We a…
cs.LO2025
A domain-theoretic framework for conditional probability and Bayesian updating in programming
Pietro Di Gianantonio, Abbas Edalat
We present a domain-theoretic framework for probabilistic programming that provides a constructive definition of conditional probability and addresses computability challenges prev…