• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Compositional Metric Reasoning with Probabilistic Process Calculi.

Daniel GeblerKim Guldstrand LarsenSimone 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