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