[PlanetKR] ICCMA 2025: Results and Descriptions

[Johannes P. Wallner]

* Apologies for cross posting *

The 6th International Competition on Computational Models of 
Argumentation (ICCMA'25) announces the final results of the competition 
run in 2025.

We thank all developers of solvers and developers of benchmark suites! 
Moreover we thank the Austrian Science Computing (ASC) for providing the 
computational infrastructure.

ABOUT
The ICCMA competition series aims at nurturing research and development 
of implementations for computational models of argumentation. ICCMA 2025 
invited contributions from the community at large on both 
implementations of argumentation reasoning algorithms ("solvers") and 
interesting instances of argumentation problems for use as benchmarks in 
evaluating the solvers participating in the competition.

RESULTS
The results can be found at
https://argumentationcompetition.org/2025/index.html

The webpage includes
-slides with a summary of the results
-raw data of the results
-instances used
-descriptions of submitted solvers and benchmarks

The results were preliminarily presented at KR 2025 - the current 
results are slightly updated.

COMPETITION TRACKS
-Main track on Abstract Argumentation
-Approximate Track (on abstract argumentation)
-Dynamic Track (on abstract argumentation)
-ABA track (on the structured argumentation formalism of 
assumption-based  argumentation).

NEW FOR 2025
A fixed-SAT-solver comparison, where a specific SAT solver is fixed for 
a more direct comparison.

ICCMA 2023 Organizers:
Johannes P. Wallner, Andrei Popescu, and Iosif Apostolakis (Graz 
University of Technology)