Vol-4261⫷ Vol-4262 ⫸Vol-4263
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 |