no code implementations • 11 Jun 2018 • Ulle Endriss
Fair division is the problem of dividing one or several goods amongst two or more agents in a way that satisfies a suitable fairness criterion.
no code implementations • 27 Jul 2017 • Weiwei Chen, Ulle Endriss
An abstract argumentation framework can be used to model the argumentative stance of an agent at a high level of abstraction, by indicating for every pair of arguments that is being considered in a debate whether the first attacks the second.
no code implementations • 13 Sep 2016 • Ulle Endriss, Umberto Grandi
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.
no code implementations • 16 Jan 2014 • Christian Geist, Ulle Endriss
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets of objects.