Compositional bisimulation metric reasoning with Probabilistic Process Calculi.

Daniel Gebler Kim G. Larsen Simone Tini

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

probabilistic logic
data sets
knowledge base
bayesian networks
metric space
reasoning process
case study
similarity search