On the proof complexity of deep inference.

Paola Bruscoli Alessio Guglielmi

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

worst case
data sets
inference process
bayesian networks
probabilistic inference
bayesian inference
mathematical proofs
real time
neural network
decision trees
computational complexity
np hard
computational cost
graphical models
theorem proving
inference engine