Monads and Quantitative Equational Theories for Nondeterminism and Probability.

Matteo Mio Valeria Vignudelli

Published in: CoRR (2020)

Keyphrases

equational theories
qualitative and quantitative
probability distribution
quantitative and qualitative
theorem proving
artificial intelligence
expert systems
domain knowledge
database applications
situation calculus
function symbols