Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Complex Optimization in Answer Set Programming   Preference handling and optimization are indispensable means for addressing
non-trivial applications in Answer Set Programming (ASP). However, their
implementation becomes difficult whenever they bring about a significant
increase in computational complexity. As a consequence, existing ASP systems do
not offer complex optimization capacities, supporting, for instance,
inclusion-based minimization or Pareto efficiency. Rather, such complex
criteria are typically addressed by resorting to dedicated modeling techniques,
like saturation. Unlike the ease of common ASP modeling, however, these
techniques are rather involved and hardly usable by ASP laymen. We address this
problem by developing a general implementation technique by means of
meta-programming, thus reusing existing ASP systems to capture various forms of
qualitative preferences among answer sets. In this way, complex preferences and
optimization capacities become readily available for ASP applications.

21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
34
The categories of this paper are: chem-ph