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