Original: https://ceur-ws.org/Vol-4262/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-4262/ | Year: 2026

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 https://creativecommons.org/licenses/by/4.0/.

SAFA 2026

Proceedings of the Sixth International Workshop on Systems and Algorithms for Formal Argumentation
co-located with COMMA 2026

Barcelona, Spain, September 15th, 2026.

Edited by

AnneMarie Borg
Jean-Guy Mailly
Andreas Niskanen
Johannes P. Wallner

Table of Contents

PDF
On Logical Encodings for Argumentation-Based Reasoning (Abstract) 1-1 PDF
Sylvie Doutre
AgonProject: An Online Platform for Exploring Approaches to Formal Argumentation 2-12 PDF
Lars Bengel, Matti Berthold, Oleksandr Dzhychko, Matthias Thimm
Fixing What Goes Wrong: A Comparison between Legal Debugging and Contestable Argumentation Learning 13-24 PDF
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 PDF
Jonas Klein, Matthias Thimm
From Contexts to Values: Context-Dependent Defeat in Abstract Argumentation 40-48 PDF
Albert Sadowski, Jarosław A. Chudziak
Acceptance Trees for Dialogue and Decision Support over Bipolar Argumentation Frameworks 49-63 PDF
Stefano Bistarelli, Marco Cuccarini, Carlo Taticchi
ABu: Efficient Argument Builder for Assumption-Based Argumentation 64-72 PDF
Tuomo Lehtonen
Exploring Intervention-Solution Spaces (ISS): Change and Choice in Abstract Argumentation 73-88 PDF
Shawn Bowers, Bertram Ludäscher
I win, You lose – Computational Complexity of Verification and NonVerification in Abstract Argumentation 89-97 PDF
Kenneth Skiba

2026-09-14: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|