Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces.

Thomas Leventis Michele Pagani

Published in: FoSSaCS (2019)

Keyphrases

probabilistic model
high level
probabilistic logic
bayesian networks
uncertain data
probabilistic relational
real time
relational databases
topological spaces
belief networks
posterior probability
generative model
multi agent systems
feature selection
computer vision
artificial intelligence
databases