iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://nbn-resolving.org/urn:nbn:de:0074-3757-1

CEUR-WS.org/Vol-3757 - International Workshop on Systems and Algorithms for Formal Argumentation 2024

Vol-3757
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|