Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Smodels: A System for Answer Set Programming   The Smodels system implements the stable model semantics for normal logic
programs. It handles a subclass of programs which contain no function symbols
and are domain-restricted but supports extensions including built-in functions
as well as cardinality and weight constraints. On top of this core engine more
involved systems can be built. As an example, we have implemented total and
partial stable model computation for disjunctive logic programs. An interesting
application method is based on answer set programming, i.e., encoding an
application problem as a set of rules so that its solutions are captured by the
stable models of the rules. Smodels has been applied to a number of areas
including planning, model checking, reachability analysis, product
configuration, dynamic constraint satisfaction, and feature interaction.

2
The categories of this paper are: math
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess