Vol-3756⫷ Vol-3757 ⫸Vol-3758
urn:nbn:de:0074-3757-1

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 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 2024
Systems and Algorithms for Formal Argumentation 2024

Proceedings of the Fifth International Workshop on Systems and Algorithms for Formal Argumentation
co-located with 10th International Conference on Computational Models of Argument ( COMMA 2024 )

Hagen, Germany, September 17th, 2024 .

Edited by

AnneMarie Borg *
Stefan Ellmauthaler
Jean-Guy Mailly *
Andreas Niskanen ****

* Responsible AI group , Utrecht University, Utrecht, Netherlands
** International Center for Computational Logic , TU Dresden, Dresden, Germany
*** IRIT , University Toulouse Capitole, Toulouse, France
**** Department of Computer Science , University of Helsinki, Helsinki, Finland

Table of Contents

Preface
Summary: There were 9 papers submitted for peer-review to this workshop. All 9 papers were accepted for this volume as regular papers.

Invited Talk

Reasoning in Structured Argumentation: Assumption-based Argumentation and ASPIC+ 7-10
Johannes P. Wallner

Technical papers

On Computational Problems for Infinite Argumentation Frameworks: Classifying Complexity via Computability 12-26
Uri Andrews , Luca San Mauro
On Diagnostic Arguments in Abstract Argumentation 27-40
Jordan Robinson , Katie Atkinson , Simon Maskell , Chris Reed
Splitting Argumentation Frameworks with Collective Attacks 41-55
Giovanni Buraglio , Wolfgang Dvořák , Matthias König , Stefan Woltran
Fantastic Argumentation Tools And Where To Find Them 56-68
Michele Persiani , Esteban Guerrero , Andreas Brännström , Kaan Kilic , Timotheus Kampik
An Evaluation of Algorithms for Strong Admissibility 69-82
Martin Caminada , Sri Harikrishnan
Effects of Graph Neural Network Aggregation Functions on Generalizability for Solving Abstract Argumentation Semantics 83-89
Dennis Craandijk , Floris Bex
A Sequent Calculus Representation of Lorenzen Dialogue Extended with Why-Because Dialogue 90-103
Ryo Takemura
The Skeptic’s Argumentation Game or: Well-Founded Explanations for Mere Mortals 104-118
Shawn Bowers , Yilin Xia , Bertram Ludäscher
Reassessing the Impact of Reading Behaviour in Online Debates Under the Lens of Gradual Semantics 119-133
Jordan Thieyre , Aurélie Beynier , Nicolas Maudet , Srdjan Vesic

2024-09-04: submitted by Jean-Guy Mailly, metadata incl. bibliographic data published under Creative Commons CC0
2024-09-05 : published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) | valid HTML5 |