C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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