The Four Color Theorem is a famous early example of a mathematical result that was proven
with the help of computers. Recent advances in artificial intelligence, particularly in …

Dung's argumentation frameworks have been applied for over twenty years to the analysis of
argument justification. This representation focuses on arguments and the attacks among …

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 …

When confronted with the same abstract argumentation framework, specifying a set of
arguments and an attack-relation between them, different agents may disagree on which …

An inconsistent knowledge base can be abstracted as a set of arguments and a defeat
relation among them. There can be more than one consistent way to evaluate such an …

One of the better studied properties for operators in judgment aggregation is independence,
which essentially dictates that the collective judgment on one issue should not depend on …

On the Web, there is always a need to aggregate opinions from the crowd (as in posts, social
networks, forums, etc.). Different mechanisms have been implemented to capture these …

Abstract dialectical frameworks (ADFs) are a knowledge representation formalism
introduced as a generalisation of Dung's abstract argumentation frameworks (AFs) by …

This paper considers the problem of under what circumstances an aggregation rule
guarantees admissible sets of arguments that represent a good compromise between …

Judgment aggregation is concerned with the problem of aggregating individual views on
logically related issues. It offers a general framework in which several different types of …