Vol-3236
urn:nbn:de:0074-3236-4

Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 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 2022
The Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022

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

Cardiff, Wales, United Kingdom, September 13, 2022.

Edited by

Sarah A. Gaggl *
Jean-Guy Mailly
Matthias Thimm *
Johannes P. Wallner ****

* Logic Programming and Argumentation Group, Technische Universität Dresden, Germany
** Université Paris Cité, LIPADE, F-75006 Paris, France
*** Artificial Intelligence Group, University of Hagen, Germany
**** Institute of Software Technology, Graz University of Technology, Graz, Austria

Table of Contents

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

Invited Talk

Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving 1-4
Johannes K. Fichte

Technical papers

Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework 5-18
Kazuko Takahashi
A Sound and Complete Dialogue System for Handling Misunderstandings 19-32
Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black
Strong Admissibility, a Tractable Algorithmic Approach 33-44
Martin Caminada, Sri Harikrishnan
Computing the Labellings of Higher-Order Abstract Argumentation Frameworks 45-58
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation 59-72
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Realisability of Rankings-based Semantics 73-85
Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner
Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments 86-97
Hao Wu, Bruno Yun, Nir Oren
Deletion-Backdoors for Argumentation Frameworks with Collective Attacks 98-110
Wolfgang Dvořák, Matthias König, Stefan Woltran
A Labeling Based Backtracking Solver for Abstract Argumentation 111-123
Lukas Kinder, Matthias Thimm, Bart Verheij

2022-09-13: submitted by Johannes P. Wallner, metadata incl. bibliographic data published under Creative Commons CC0
2022-10-08: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|