Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Interdefinability of defeasible logic and logic programming under the
  well-founded semantics   We provide a method of translating theories of Nute's defeasible logic into
logic programs, and a corresponding translation in the opposite direction.
Under certain natural restrictions, the conclusions of defeasible theories
under the ambiguity propagating defeasible logic ADL correspond to those of the
well-founded semantics for normal logic programs, and so it turns out that the
two formalisms are closely related. Using the same translation of logic
programs into defeasible theories, the semantics for the ambiguity blocking
defeasible logic NDL can be seen as indirectly providing an ambiguity blocking
semantics for logic programs. We also provide antimonotone operators for both
ADL and NDL, each based on the Gelfond-Lifschitz (GL) operator for logic
programs. For defeasible theories without defeaters or priorities on rules, the
operator for ADL corresponds to the GL operator and so can be seen as partially
capturing the consequences according to ADL. Similarly, the operator for NDL
captures the consequences according to NDL, though in this case no restrictions
on theories apply. Both operators can be used to define stable model semantics
for defeasible theories.

25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio