Descriptive complexity of real computation and probabilistic independence logic.

Miika Hannula Juha Kontinen Jan Van den Bussche Jonni Virtema

Published in: LICS (2020)

Keyphrases

probabilistic logic
bayesian networks
worst case
space complexity
probability theory
independence assumption
case study
real life
probabilistic model
neural network
computational complexity
generative model
decision problems
uncertain data
default reasoning
logical inference