Vol-4262
urn:nbn:de:0074-4262-x

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

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

Barcelona, Spain, September 15th, 2026.

Edited by

AnneMarie Borg 1
Jean-Guy Mailly 2
Andreas Niskanen 3
Johannes P. Wallner 4

¹ Responsible AI group, Utrecht University, Utrecht, Netherlands
² IRIT, University Toulouse Capitole, Toulouse, France
³ Department of Computer Science, University of Helsinki, Helsinki, Finland
⁴ Institute of Software Engineering and Artificial Intelligence, Graz University of Technology, Graz, Austria

Table of Contents

Preface
Summary: There were 9 papers submitted for peer-review to this workshop. Out of these, 8 papers were accepted for this volume.

Invited Talk

On Logical Encodings for Argumentation-Based Reasoning (Abstract) 1–1
Sylvie Doutre

Technical papers

AgonProject: An Online Platform for Exploring Approaches to Formal Argumentation 2–12
Lars Bengel, Matti Berthold, Oleksandr Dzhychko, Matthias Thimm
Fixing What Goes Wrong: A Comparison between Legal Debugging and Contestable Argumentation Learning 13–24
Wachara Fungwacharakorn, Adam Dejl, Emanuele De Angelis, Maurizio Proietti, Francesca Toni, Ken Satoh
Resolving Prompt Conflicts in Text-to-X Models with Abstract Argumentation 25–39
Jonas Klein, Matthias Thimm
From Contexts to Values: Context-Dependent Defeat in Abstract Argumentation 40–48
Albert Sadowski, Jarosław A. Chudziak
Acceptance Trees for Dialogue and Decision Support over Bipolar Argumentation Frameworks 49–63
Stefano Bistarelli, Marco Cuccarini, Carlo Taticchi
ABu: Efficient Argument Builder for Assumption-Based Argumentation 64–72
Tuomo Lehtonen
Exploring Intervention-Solution Spaces (ISS): Change and Choice in Abstract Argumentation 73–88
Shawn Bowers, Bertram Ludäscher
I win, You lose – Computational Complexity of Verification and NonVerification in Abstract Argumentation 89–97
Kenneth Skiba

2026-09-07: submitted by Andreas Niskanen, metadata incl. bibliographic data published under Creative Commons CC0
2026-09-14: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|