Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Complexity of Reasoning for Fragments of Default Logic   Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified
the complexity of the extension existence problem for propositional default
logic as $\SigmaPtwo$-complete, and the complexity of the credulous and
skeptical reasoning problem as SigmaP2-complete, resp. PiP2-complete.
Additionally, he investigated restrictions on the default rules, i.e.,
semi-normal default rules. Selman made in 1992 a similar approach with
disjunction-free and unary default rules. In this paper we systematically
restrict the set of allowed propositional connectives. We give a complete
complexity classification for all sets of Boolean functions in the meaning of
Post's lattice for all three common decision problems for propositional default
logic. We show that the complexity is a hexachotomy (SigmaP2-, DeltaP2-, NP-,
P-, NL-complete, trivial) for the extension existence problem, while for the
credulous and skeptical reasoning problem we obtain similar classifications
without trivial cases.

37
The categories of this paper are: supr-con
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
35
The categories of this paper are: mtrl-th
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph