Johannes P. Wallner Reasoning in Structured Argumentation: Assumption-based Argumentation and ASPIC+ . . . . . 7 Technical Papers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Uri Andrews, Luca San Mauro On Computational Problems for Infinite Argumentation Frameworks: Classifying Complexity via Computability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Jordan Robinson, Katie Atkinson, Simon Maskell, Chris Reed On Diagnostic Arguments in Abstract Argumentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Giovanni Buraglio, Wolfgang Dvoák, Matthias König, Stefan Woltran Splitting Argumentation Frameworks with Collective Attacks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 Michele Persiani, Esteban Guerrero, Andreas Brännström, Kaan Kilic, Timotheus Kampik Fantastic Argumentation Tools And Where To Find Them . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 Martin Caminada, Sri Harikrishnan Algorithms for Strong Admissibility Revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 Dennis Craandijk and Floris Bex Eects of Graph Neural Network Aggregation Functions on Generalizability for Solving Abstract Argumentation Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Shawn Bowers, Yilin Xia, Bertram Ludäscher The Skeptic’s Argumentation Game or: Well-Founded Explanations for Mere Mortals . . . . . . . . 104 Jordan Thieyre, Aurélie Beynier, Nicolas Maudet, Srdjan Vesic Reassessing the Impact of Reading Behaviour in Online Debates Under the Lens of Gradual Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 International Workshop on Systems and Algorithms for Formal Argumentation
In the field of Knowledge Representation and Reasoning, formal argumentation studies questions like the representation of arguments, their interactions, and the evaluation of their acceptability. These formal models can be applied to various domains such as medicine, accounting, chemistry, and law, as well as other areas that benefit from automated decision making. In many cases, argument-based reasoning has strong similarities with the fields of non-monotonic reasoning and logic programming, which implies that it shares their high complexity.
For this reason, the development of systems and algorithms for argumentative reasoning has become an important part of the field, as can be witnessed by the success of the International Competition on Computational Models of Argumentation (ICCMA), organised biennially since 2015. This workshop complements the competition, and provides a forum to discuss and present novel approaches and ideas related to algorithmic approaches to all aspects of argumentation. Co-located with the International Conference on Computational Models of Argument (COMMA), a first workshop had been organised in Potsdam (Germany) in 2016, a second one in Warsaw (Poland) in 2018, a third one virtually in 2020, and a fourth one in Cardi (United Kingdom).
In this fifth edition, we received nine submissions which were all accepted as regular papers for this volume after a peer-review. Additionally, this volume contains an abstract of the invited talk on “Reasoning in Structured Argumentation: Assumption-based Argumentation and ASPIC+” by Johannes P. Wallner.
Stefan Ellmauthaler
Jean-Guy Mailly Andreas Niskanen (chairs)