The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name.
Gianluca CurziMichele PaganiPublished in: LICS (2020)
Keyphrases
- probabilistic model
- generative model
- machine learning
- probabilistic logic
- posterior probability
- expert systems
- search algorithm
- bayesian networks
- information systems
- graphical models
- artificial intelligence
- information theoretic
- conditional probabilities
- data sets
- context sensitive
- probabilistic reasoning
- real time