25 citations · 637 across the 113 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.AI2016★ 4 cited
Adams Conditioning and Likelihood Ratio Transfer Mediated Inference
Jan A. Bergstra
Bayesian inference as applied in a legal setting is about belief transfer and involves a plurality of agents and communication protocols. A forensic expert (FE) may communicate to…
math.LO2016
Equational Axioms for Expected Value Operators
Jan A. Bergstra
An equational axiomatisation of probability functions for one-dimensional event spaces in the language of signed meadows is expanded with conditional values. Conditional values con…
cs.LO2016
Datatype defining rewrite systems for naturals and integers
Jan A. Bergstra, Alban Ponse
A datatype defining rewrite system (DDRS) is an algebraic (equational) specification intended to specify a datatype. When interpreting the equations from left-to-right, a DDRS defi…