The analysis of inconsistent formulas finds an everincreasing range of applications, that
include axiom pinpointing in description logics, fault localization in software, model-based …

Computational social choice is a research area at the intersection of computer science,
mathematics, and economics that is concerned with aggregation of preferences of multiple …

Suppose you want to design a voting rule that can be used to elect a committee or
parliament by asking each voter to approve of a subset of the candidates standing. There …

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

Voting rules allow multiple agents to aggregate their preferences in order to reach joint
decisions. A common flaw of some voting rules, known as the no-show paradox, is that …

In the literature of mechanism design, market mechanisms have been developed by
professionals based on their experience. The concept of automated mechanism design …

There is a long tradition of fruitful interaction between logic and social choice theory. In
recent years, much of this interaction has focused on computer-aided methods such as SAT …

This paper proposes the application of computational social choice mechanisms to establish
cooperative behavior within traffic scenarios involving autonomous vehicles. The main aim …

In the context of voting with ranked ballots, an important class of voting rules is the class of
margin-based rules (also called pairwise rules). A voting rule is margin-based if whenever …

Voting rules allow multiple agents to aggregate their preferences in order to reach joint
decisions. A common flaw of some voting rules, known as the no-show paradox, is that …