Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A note on the Declarative reading(s) of Logic Programming   This paper analyses the declarative readings of logic programming. Logic
programming - and negation as failure - has no unique declarative reading. One
common view is that logic programming is a logic for default reasoning, a
sub-formalism of default logic or autoepistemic logic. In this view, negation
as failure is a modal operator. In an alternative view, a logic program is
interpreted as a definition. In this view, negation as failure is classical
objective negation. From a commonsense point of view, there is definitely a
difference between these views. Surprisingly though, both types of declarative
readings lead to grosso modo the same model semantics. This note investigates
the causes for this.

0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph