Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hunting for Tractable Languages for Judgment Aggregation   Judgment aggregation is a general framework for collective decision making
that can be used to model many different settings. Due to its general nature,
the worst case complexity of essentially all relevant problems in this
framework is very high. However, these intractability results are mainly due to
the fact that the language to represent the aggregation domain is overly
expressive. We initiate an investigation of representation languages for
judgment aggregation that strike a balance between (1) being limited enough to
yield computational tractability results and (2) being expressive enough to
model relevant applications. In particular, we consider the languages of Krom
formulas, (definite) Horn formulas, and Boolean circuits in decomposable
negation normal form (DNNF). We illustrate the use of the positive complexity
results that we obtain for these languages with a concrete application: voting
on how to spend a budget (i.e., participatory budgeting).

24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph