SAFA@COMMA

Keyphrases

Publications

2022

Wolfgang Dvorák, Matthias König, Stefan Woltran
Deletion-Backdoors for Argumentation Frameworks with Collective Attacks. SAFA@COMMA (2022)
Martin Caminada, Sri Harikrishnan
Strong Admissibility, a Tractable Algorithmic Approach. SAFA@COMMA (2022)
Johannes Klaus Fichte
Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving. SAFA@COMMA (2022)
Hao Wu, Bruno Yun, Nir Oren
Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments. SAFA@COMMA (2022)
Kazuko Takahashi
Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework. SAFA@COMMA (2022)
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation. SAFA@COMMA (2022)
Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner
Realisability of Rankings-based Semantics. SAFA@COMMA (2022)
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
Computing the Labellings of Higher-Order Abstract Argumentation Frameworks. SAFA@COMMA (2022)
Lukas Kinder, Matthias Thimm, Bart Verheij
A Labeling Based Backtracking Solver for Abstract Argumentation. SAFA@COMMA (2022)
Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black
A Sound and Complete Dialogue System for Handling Misunderstandings. SAFA@COMMA (2022)

volume 3236, 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. SAFA@COMMA 3236 (2022)

2020

volume 2672, 2020

Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020. SAFA@COMMA 2672 (2020)

2018

volume 2171, 2018

Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018. SAFA@COMMA 2171 (2018)

2016

volume 1672, 2016

Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016. SAFA@COMMA 1672 (2016)