8 citations · 22 across the 7 of their papers we have counts for
1 paper · 1 filter
Robin Adams, Bart Jacobs
This paper introduces a novel type theory and logic for probabilistic reasoning. Its logic is quantitative, with fuzzy predicates. It includes normalisation and conditioning of sta…