Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs
  under the Credal Semantics   The Credal semantics is a probabilistic extension of the answer set semantics
which can be applied to programs that may or may not be stratified. It assigns
to atoms a set of acceptable probability distributions characterised by its
lower and upper bounds. Performing exact probabilistic inference in the Credal
semantics is computationally intractable. This paper presents a first solver,
based on sampling, for probabilistic inference under the Credal semantics
called PASOCS (Parallel Approximate SOlver for the Credal Semantics). PASOCS
performs both exact and approximate inference for queries given evidence.
Approximate solutions can be generated using any of the following sampling
methods: naive sampling, Metropolis-Hastings and Gibbs Markov Chain
Monte-Carlo. We evaluate the fidelity and performance of our system when
applied to both stratified and non-stratified programs. We perform a sanity
check by comparing PASOCS to available systems for stratified programs, where
the semantics agree, and show that our system is competitive on unstratified
programs.

31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat