Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Inference in Probabilistic Logic Programs using Lifted Explanations   In this paper, we consider the problem of lifted inference in the context of
Prism-like probabilistic logic programming languages. Traditional inference in
such languages involves the construction of an explanation graph for the query
and computing probabilities over this graph. When evaluating queries over
probabilistic logic programs with a large number of instances of random
variables, traditional methods treat each instance separately. For many
programs and queries, we observe that explanations can be summarized into
substantially more compact structures, which we call lifted explanation graphs.
In this paper, we define lifted explanation graphs and operations over them. In
contrast to existing lifted inference techniques, our method for constructing
lifted explanations naturally generalizes existing methods for constructing
explanation graphs. To compute probability of query answers, we solve
recurrences generated from the lifted graphs. We show examples where the use of
our technique reduces the asymptotic complexity of inference.

5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
32
The categories of this paper are: atom-ph