Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Bayesian Inference by Symbolic Model Checking   This paper applies probabilistic model checking techniques for discrete
Markov chains to inference in Bayesian networks. We present a simple
translation from Bayesian networks into tree-like Markov chains such that
inference can be reduced to computing reachability probabilities. Using a
prototypical implementation on top of the Storm model checker, we show that
symbolic data structures such as multi-terminal BDDs (MTBDDs) are very
effective to perform inference on large Bayesian network benchmarks. We compare
our result to inference using probabilistic sentential decision diagrams and
vtrees, a scalable symbolic technique in AI inference tools.

15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th