A Formal Semantics of Influence in Bayesian Reasoning.

Bart Jacobs Fabio Zanasi

Published in: MFCS (2017)

Keyphrases

formal semantics
bayesian reasoning
er model
logical language
first order logic
formal language
operational semantics
modeling language
speech acts
logical reasoning
database
theorem prover
ontology languages
query answering
region matching
modelling language
learning objects
probabilistic model
case study
databases