Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Representing First-Order Causal Theories by Logic Programs   Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner,
became a basis for the semantics of several expressive action languages.
McCain's embedding of definite propositional causal theories into logic
programming paved the way to the use of answer set solvers for answering
queries about actions described in such languages. In this paper we extend this
embedding to nondefinite theories and to first-order causal logic.

22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph