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

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

A wide variety of formal frameworks have been proposed in the literature to both perform
and analyse collective decision making. Here several agents report an individual view and …

When aggregating logically interconnected judgements from n agents, the result might be
logically inconsistent. This phenomenon is known as the doctrinal paradox, which plays a …

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 …

In many settings, a collective decision has to be made over a set of alternatives that has a
combinatorial structure: important examples are multi-winner elections, participatory …

We introduce a novel method to aggregate bipolar argumentation frameworks expressing
opinions of different parties in debates. We use Bipolar Assumption-based Argumentation …

Nanometer radar wave absorbent is a new type of absorbent with great development
prospect, which has important application demand in radar wave application. However …

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 …