| Vol-2171 urn:nbn:de:0074-2171-3 Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# SAFA 2018
Systems and Algorithms for Formal Argumentation

### Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018)
co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018)

### Warsaw, Poland, September 11, 2018.

Edited by

### Matthias Thimm *
Federico Cerutti **
Mauro Vallati ***

* University of Koblenz-Landau, Institute for Web Science and Technologies, Koblenz, Germany
** Cardiff University, School of Computer Science and Informatics, Cardiff, UK
*** University of Huddersfield, School of Computing and Engineering, Huddersfield, UK

## Table of Contents

- Preface
- Organization

### Invited Papers

- SAT for Argumentation 1-3
  Matti Järvisalo

### Regular Papers

- Containerisation and Dynamic Frameworks in ICCMA'19 4-9
  Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi
- Evaluating SETAFs via Answer-Set Programming 10-21
  Wolfgang Dvořák, Alexander Greßler, Stefan Woltran
- On Structural Properties of Argumentation Frameworks: Lessons from ICCMA 22-35
  Odinaldo Rodrigues, Elizabeth Black, Michael Luck, Josh Murphy
- Transformation from PROLEG to a Bipolar Argumentation Framework 36-47
  Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
- Preventing Manipulation in Aggregating Audiences in Value-Based Argumentation Frameworks 48-59
  Grzegorz Lisowski, Sylvie Doutre, Umberto Grandi
- Expressing the Characteristics of an Argumentation Framework 60-71
  Sosuke Moriguchi, Kazuko Takahashi

2018-08-20: submitted by Matthias Thimm, metadata incl. bibliographic data published under Creative Commons CC0
2018-08-20: published on CEUR-WS.org |valid HTML5|