Vol-1672
urn:nbn:de:0074-1672-0

Copyright © 2016 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 2016
Systems and Algorithms for Formal Argumentation

Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA)
co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016)

Potsdam, Germany, September 13, 2016.

Edited by

Matthias Thimm *
Federico Cerutti
Hannes Strass *
Mauro Vallati ****

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

Table of Contents

Invited Papers

Towards Advanced Systems for Abstract Argumentation 1-3
Stefan Woltran
Introducing the Second International Competition on Computational Models of Argumentation 4-9
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran

Regular Papers

Using Matrix Exponentials for Abstract Argumentation 10-21
Carl Corea, Matthias Thimm
Introducing EqArgSolver: An argumentation solver using equational semantics 22-33
Odinaldo Rodrigues
Adapting the DF-QuAD Algorithm to Bipolar Argumentation 34-39
Antonio Rago, Kristijonas Čyras, Francesca Toni
SESAME - A System for Specifying Semantics in Abstract Argumentation 40-51
Philippe Besnard, Sylvie Doutre, Van Hieu Ho, Dominique Longin
Extending the DIAMOND System to work with GRAPPA 52-62
Matti Berthold
A Pilot Study in Using Argumentation Frameworks for Online Debates 63-74
Federico Cerutti, Alexis Palmer, Ariel Rosenfeld, Jan Snajder, Francesca Toni

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