Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A formalism for causal explanations with an Answer Set Programming
  translation   We examine the practicality for a user of using Answer Set Programming (ASP)
for representing logical formalisms. Our example is a formalism aiming at
capturing causal explanations from causal information. We show the naturalness
and relative efficiency of this translation job. We are interested in the ease
for writing an ASP program. Limitations of the earlier systems made that in
practice, the ``declarative aspect'' was more theoretical than practical. We
show how recent improvements in working ASP systems facilitate the translation.

7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci