Compositional Metric Reasoning with Probabilistic Process Calculi.

Daniel Gebler Kim Guldstrand Larsen Simone Tini

Published in: FoSSaCS (2015)

Keyphrases

data sets
case study
construction process
probabilistic model
knowledge representation
distance function
spatial reasoning
reasoning process
reasoning problems
causal networks