Vol-3235⫷ Vol-3236 ⫸Vol-3237
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 |