Pages that link to "Item:Q1744386"
From MaRDI portal
The following pages link to A predicate/state transformer semantics for Bayesian learning (Q1744386):
Displaying 10 items.
- From probability monads to commutative effectuses (Q1683710) (← links)
- Learning along a channel: the expectation part of expectation-maximisation (Q2133170) (← links)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
- Bayesian network semantics for Petri nets (Q2286739) (← links)
- Program algebra for quantitative information flow (Q2423771) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- (Q3385638) (← links)
- A Type Theory for Probabilistic and Bayesian Reasoning (Q4580222) (← links)
- Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)
- A Formal Semantics of Influence in Bayesian Reasoning (Q5111235) (← links)
