Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Improving the Efficiency of Approximate Inference for Probabilistic
  Logical Models by means of Program Specialization   We consider the task of performing probabilistic inference with probabilistic
logical models. Many algorithms for approximate inference with such models are
based on sampling. From a logic programming perspective, sampling boils down to
repeatedly calling the same queries on a knowledge base composed of a static
part and a dynamic part. The larger the static part, the more redundancy there
is in these repeated calls. This is problematic since inefficient sampling
yields poor approximations.
  We show how to apply logic program specialization to make sampling-based
inference more efficient. We develop an algorithm that specializes the
definitions of the query predicates with respect to the static part of the
knowledge base. In experiments on real-world data we obtain speedups of up to
an order of magnitude, and these speedups grow with the data-size.

22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
20
The categories of this paper are: acc-phys