Towards a Structural Proof Theory of Probabilistic \mu -Calculi.

Christophe Lucas Matteo Mio

Published in: FoSSaCS (2019)

Keyphrases

proof theory
reasoning problems
default reasoning
proof theoretic
automated reasoning
bayesian networks
probabilistic model
probabilistic reasoning
constraint satisfaction
probability distribution