15.07.2024

At IJCAI 2024, Wallner will present recent works on the topic of "Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability" in the Early Career track of the conference, which is a by invitation only track. In this talk, an overview of recent advances of algorithmic approaches to argumentative reasoning including static and dynamic forms is given, and ways of supporting explainability are discussed.

11.07.2024

In this year's edition of the International Conference on Principles of Knowledge Representation and Reasoning (KR'24), three of our works got accepted:

• Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
• Abstraction in Assumption-based Argumentation
• Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach

In the first work, we extend computational approaches to the prominent structured argumentation formalism of ASPIC+, in particular incorporating also preferential argumentative reasoning. In the second work we deal with abstracting information to attain a high-level view aimed at supporting explainability. In the third work we studied alorithmic approaches to the highly complex field of probabilistic reasoning in formal argumentation.

9.7.2024

Wallner gave an invited talk at the Workshop on Recent Trends in Formal Argumentation at TU Wien on the topic "Instantiations and Computational Aspects of Assumption-based Argumentation". This workshop discussed recent advances in the field of computational argumentation. 

14.06.2024

Three of our works are accepted to COMMA 2024, a conference dedicated to computational argumentation. In the first work "Value-based Reasoning in ASPIC+" we investigate how value-based reasoning can be integrated in the argumentation formalism ASPIC+. In "On Computing Admissibility in ABA" we look at algorithmic approaches that compute compact representations of admissible sets of arguments in non-flat assumption-based argumentation. In the third work, "Complexity of Semi-Stable Semantics in Abstract Dialectical Frameworks", we extend the current state-of-the-art complexity analysis on abstract dialectical frameworks, by considering the recently introduced semi-stable semantics.  

2.5.2024

Our works on "Ranking Transition-based Medical Recommendations using Assumption-based Argumentation" and "Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation" have been accepted to RATIO and IJCAI 2024, respectively. RATIO is a new conference on advances in argumentation machines and IJCAI is a premier conference in Artificial Intelligence. 

In the first work we look at using a ranking-based semantics for assumption-based argumentation in a medical scenario. In the second work we look at issues arising when creating argument structures from a possibly conflicting knowledge base. We consider algorithmic approaches to address the issues. 

18.04.2024

Co-located with 10th International Conference on Computational Models of Argument (COMMA 2024), Wallner will give an invited talk at the Fifth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2024). This talk will give an overview of recent research in the area of algorithmic approaches to structured argumentation - focusing on the prominent approaches called assumption-based argumentation (ABA) and ASPIC+.