Login / Signup
On the relative proof complexity of deep inference via atomic flows.
Anupam Das
Published in:
Log. Methods Comput. Sci. (2015)
Keyphrases
</>
worst case
model selection
bayesian networks
probabilistic inference
space complexity
probabilistic reasoning
belief nets
computer vision
web services
case study
bayesian inference
theorem proving
inference engine