As artificial agents become increasingly embedded in our society, we must ensure that their
behavior aligns with human values. Value alignment entails value inference, the process of …

Designing and implementing explainable systems is seen as the next step towards
increasing user trust in, acceptance of and reliance on Artificial Intelligence (AI) systems …

In the context of social choice theory, we develop a tableau-based calculus for reasoning
about voting rules. This calculus can be used to obtain structured explanations for why a …

Imagine a scenario in which a small committee has to take a decision that involves choosing
from a handful of alternatives. The committee members have different preferences and there …

We present an online demonstration tool illustrating a general approach to computing
justifications for accepting a given decision when confronted with the preferences of several …

In many social-choice mechanisms the resulting choice is not the most preferred one for
some of the participants, thus the need for methods to justify the choice made in a way that …

There is a well-known mismatch between, on the one hand, seminal results in social choice
theory—the principled study of decision making in groups—saying that it is essentially …

ABSTRACT Social Choice Theory is the study of collective decision making. A well-known
lesson from this field is that there is no perfect way to aggregate the individual views of a …

Values, such as freedom and safety, are the core motivations that guide us humans. A
prerequisite for creating value-aligned multiagent systems that involve humans and artificial …

How should we decide on the outcome of an election? Social choice theory offers many
voting rules to answer this question, but also establishes various impossibility results …