Preface
Computational models of argumentation are approaches that deal with the representation
and interaction of arguments and counterarguments. These models can be applied in all
areas that benefit from automatic decision-support such as medicine, accounting, chem-
istry, and law. Many of these models were inspired by works within the fields of non-
monotonic reasoning and logic programming and therefore share the sometimes consid-
erable computational complexity of these approaches.
     Algorithmic aspects of computational models of argumentation are an important
area, as witnessed by the popularity of the International Competition on Computational
Models of Argumentation (ICCMA). This volume collects papers from the Third Inter-
national Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020),
which aims at complementing the competition by providing a forum to present and dis-
cuss both systems and algorithms dealing with all aspects of computational argumen-
tation, in particular those approaches addressing the tracks of the competition. A first
workshop had been organised in 2016 and a second one 2018.
     The workshop received 10 submissions and 9 of them had been accepted as regu-
lar papers for this volume. Additionally, this volume contains an abstract of the invited
keynote speech “From Computational Argumentation to Explanation” by Francesca
Toni.




September 2020                                                           Sarah A. Gaggl
                                                                        Matthias Thimm
                                                                          Mauro Vallati
                                                                                (Chairs)