Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logic Programs with Compiled Preferences   We describe an approach for compiling preferences into logic programs under
the answer set semantics. An ordered logic program is an extended logic program
in which rules are named by unique terms, and in which preferences among rules
are given by a set of dedicated atoms. An ordered logic program is transformed
into a second, regular, extended logic program wherein the preferences are
respected, in that the answer sets obtained in the transformed theory
correspond with the preferred answer sets of the original theory. Our approach
allows both the specification of static orderings (as found in most previous
work), in which preferences are external to a logic program, as well as
orderings on sets of rules. In large part then, we are interested in describing
a general methodology for uniformly incorporating preference information in a
logic program. Since the result of our translation is an extended logic
program, we can make use of existing implementations, such as dlv and smodels.
To this end, we have developed a compiler, available on the web, as a front-end
for these programming systems.

6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat