This is Chapter 17 of the forthcoming Handbook of Computational Social Choice. It covers
the axiomatic foundations of judgment aggregation, specific aggregation procedures …

1 Her work has been supported in part by an NRW grant for gender-sensitive universities
supporting her as a junior professor for Computational Social Choice and by the project …

Judgment aggregation is a mathematical theory of collective decision-making. It concerns
the methods whereby individual opinions about logically interconnected issues of interest …

We analyse the computational complexity of three problems in judgment aggregation:(1)
computing a collective judgment from a profile of individual judgments (the winner …

Collective decision making is concerned with aggregating information reported by a number
of individuals into a collective decision appropriately capturing the individual views as a …

We introduce a new approach for designing rules for participatory budgeting (PB), the
problem of deciding on the use of public funds based directly on the views expressed by the …

Graph aggregation is the process of computing a single output graph that constitutes a good
compromise between several input graphs, each provided by a different source. One needs …

We consider problems in which several individuals each need to make a yes/no choice
regarding a number of issues and these choices then need to be aggregated into a …

Belief merging aims at defining the beliefs of a group of agents from their individual beliefs
and some integrity constraints to be respected. This objective appears as non-trivial as soon …

We give an introduction to social choice theory, the formal study of mechanisms for collective
decision making, and highlight the role that logic has taken, and continues to take, in its …