Generalized Probabilistic Satisfiability.

Carlos Caleiro Filipe Casal Andreia Mordido

Published in: LSFA (2016)

Keyphrases

probabilistic model
satisfiability problem
propositional logic
probabilistic approaches
exact and approximate
data driven
generative model
belief networks
context sensitive
dual space
decision procedures
uncertain data
neural network
expressive power
hidden markov models
computational complexity
machine learning