| Vol-2672 urn:nbn:de:0074-2672-4 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# SAFA 2020
Systems and Algorithms for Formal Argumentation 2020

### Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation
co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020)

### September 8, 2020.

Edited by

### Sarah A. Gaggl *
Matthias Thimm **
Mauro Vallati ***

* TU Dresden, Computational Logic Group, Dresden, Germany
** University of Koblenz-Landau, Institute for Web Science and Technologies, Koblenz, Germany
*** University of Huddersfield, School of Computing and Engineering, Huddersfield, UK

## Table of Contents

- Preface
- Organization

### Keynote abstracts

- From Computational Argumentation to Explanation 1
  Francesca Toni

### Regular Papers

- How Much Do I Argue Like You? Towards a Metric on Weighted Argumentation Graphs 2-13
  Markus Brenneis, Maike Behrendt, Stefan Harmeling, Martin Mauve
- Towards DiArg: An Argumentation-based Dialogue Reasoning Engine 14-21
  Timotheus Kampik, Dov Gabbay
- Approximate Reasoning with ASPIC+ by Argument Sampling 22-33
  Matthias Thimm, Tjitze Rienstra
- Labelling-based Algorithms for SETAFs 34-46
  Wolfgang Dvořák, Anna Rapberger, Johannes P. Wallner
- Determining the Acceptability of Abstract Arguments with Graph Convolutional Networks 47-56
  Lars Malmqvist, Tommy Yuan, Peter Nightingale, Suresh Manandhar
- Context Graphs for Legal Reasoning and Argumentation 56-67
  Max Rapp, Axel Adrian, Michael Kohlhase
- On the Impact of SAT Solvers on Argumentation Solvers 68-73
  Serigne Gning, Jean-Guy Mailly
- A Python Script for Abstract Dialectical Frameworks 74-79
  Ringo Baumann, Maximilian Heinrich
- Introducing the Fourth International Competition on Computational Models of Argumentation 80-85
  Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit

2020-09-03: submitted by Matthias Thimm, metadata incl. bibliographic data published under Creative Commons CC0
2020-09-14: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|