Verteilte logikbasierte Argumentation door Matthias Thimm