An Axiomatisation of the Probabilistic \mu -Calculus.

Junnan Xu Wanwei Liu David N. Jansen Lijun Zhang

Published in: ICFEM (2019)

Keyphrases

data driven
databases
probabilistic model
uncertain data
bayesian networks
probabilistic logic
graphical models
functional dependencies
computer algebra
database
development environment
probabilistic reasoning
inference rules
modal logic
generative model
logic programs
user interface
database systems