The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics.

Ioannis Kokkinis

Published in: CoRR (2017)

Keyphrases

computational complexity
neural network
probabilistic model
worst case
np complete
generative model
data sets
learning algorithm
expressive power
conditional probabilities
satisfiability problem
propositional logic
computational properties