Classical Generalized Probabilistic Satisfiability.

Carlos Caleiro Filipe Casal Andreia Mordido

Published in: IJCAI (2017)

Keyphrases

bayesian networks
satisfiability problem
probabilistic model
context sensitive
uncertain data
genetic algorithm
computational complexity
generative model
probabilistic logic
probability theory
dual space
database
probabilistic planning
classical methods
belief networks
data driven
case study
data sets