C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization.
Kim G. Larsen
Radu Mardare
Bingtian Xue
Published in:
FSTTCS (2016)
Keyphrases
</>
complete axiomatization
bayesian networks
description logics
type checking
databases
uncertain data
development environment
probabilistic logic
probabilistic databases
database systems
query processing
probability distribution
functional dependencies
query answering
decision procedures