Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Well-Founded Semantics for Extended Logic Programs with Dynamic
  Preferences   The paper describes an extension of well-founded semantics for logic programs
with two types of negation. In this extension information about preferences
between rules can be expressed in the logical language and derived dynamically.
This is achieved by using a reserved predicate symbol and a naming technique.
Conflicts among rules are resolved whenever possible on the basis of derived
preference information. The well-founded conclusions of prioritized logic
programs can be computed in polynomial time. A legal reasoning example
illustrates the usefulness of the approach.

15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph