On the Satisfiability of Some Simple Probabilistic Logics.

Souymodip Chakraborty Joost-Pieter Katoen

Published in: LICS (2016)

Keyphrases

probabilistic model
computational properties
information systems
np complete
expressive power
generative model
database
artificial intelligence
website
bayesian networks
optimal solution
model checking
decision procedures