


default search action
SAFA@COMMA 2022: Cardiff, Wales, UK
- Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes Peter Wallner:

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. CEUR Workshop Proceedings 3236, CEUR-WS.org 2022
Invited Talk
- Johannes Klaus Fichte:

Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving. 1-4
Technical papers
- Kazuko Takahashi:

Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework. 5-18 - Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black:

A Sound and Complete Dialogue System for Handling Misunderstandings. 19-32 - Martin Caminada, Sri Harikrishnan:

Strong Admissibility, a Tractable Algorithmic Approach. 33-44 - Sylvie Doutre, Marie-Christine Lagasquie-Schiex:

Computing the Labellings of Higher-Order Abstract Argumentation Frameworks. 45-58 - Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca:

Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation. 59-72 - Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner:

Realisability of Rankings-based Semantics. 73-85 - Hao Wu, Bruno Yun, Nir Oren:

Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments. 86-97 - Wolfgang Dvorák, Matthias König, Stefan Woltran:

Deletion-Backdoors for Argumentation Frameworks with Collective Attacks. 98-110 - Lukas Kinder, Matthias Thimm, Bart Verheij:

A Labeling Based Backtracking Solver for Abstract Argumentation. 111-123

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














