We provide a comprehensive analysis of the computational complexity of the outcome
determination problem for the most important aggregation rules proposed in the literature on …

Judgment aggregation offers a generic formal logical framework for modeling various
settings where agents must reach joint agreements through aggregating the preferences …

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 …

Egalitarian considerations play a central role in many areas of social choice theory.
Applications of egalitarian principles range from ensuring everyone gets an equal share of a …

Judgment aggregation (JA) offers a generic formal framework for modeling various set-tings
involving information aggregation by social choice mechanisms. For many judgment …

Judgment aggregation (JA) studies how to aggregate truth valuations on logically related
issues. Computing the outcome of aggregation procedures is notoriously computationally …

We study agents expressing propositional goals over a set of binary issues to reach a
collective decision. We adapt properties and rules from the literature on Social Choice …

We introduce a formal model of iterative judgment aggregation, enabling the analysis of
scenarios in which agents repeatedly update their individual positions on a set of issues …

Judgment Aggregation (JA) is the task of aggregating individual judgments over logical
formulas into a collective judgment set. The doctrinal paradox by Kornhauser and Sager [13] …

In this work we study uncertainty across four different areas of theoretical computer science.
For three of the four areas, we analyze the hardness of new and existing problems with tools …