On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi.

Raphaëlle Crubillé Ugo Dal Lago

Published in: ESOP (2014)

Keyphrases

probabilistic logic
probabilistic relational
machine learning
bayesian networks
expert systems
data driven
e learning
context sensitive
uncertain data
default reasoning
probability theory