Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Inference in Probabilistic Logic Programs using Weighted CNF's   Probabilistic logic programs are logic programs in which some of the facts
are annotated with probabilities. Several classical probabilistic inference
tasks (such as MAP and computing marginals) have not yet received a lot of
attention for this formalism. The contribution of this paper is that we develop
efficient inference algorithms for these tasks. This is based on a conversion
of the probabilistic logic program and the query and evidence to a weighted CNF
formula. This allows us to reduce the inference tasks to well-studied tasks
such as weighted model counting. To solve such tasks, we employ
state-of-the-art methods. We consider multiple methods for the conversion of
the programs as well as for inference on the weighted CNF. The resulting
approach is evaluated experimentally and shown to improve upon the
state-of-the-art in probabilistic logic programming.

22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
26
The categories of this paper are: bayes-an
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin