C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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