Proof — Bayesian networks
Statement
Causal inference; Bayesian networks; do-calculus. Proved in ZFC.
Source
ACM Turing Award 2011. Causal inference; Bayesian networks; do-calculus. Proved in ZFC.
Domains
computer-science
Causal inference; Bayesian networks; do-calculus. Proved in ZFC.
ACM Turing Award 2011. Causal inference; Bayesian networks; do-calculus. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/pearl-turing-2011/