News
- December 4, 2024: update permitted witness for credulous acceptance under complete semantics. In case the argument is credulously accepted under complete semantics, we also allow witnesses that are admissible sets containing queried argument. Moreover, specified template for system and benchmark descriptions.
- November 26, 2024: update permitted witness for skeptical acceptance under preferred semantics. In case the argument is not skeptically accepted under preferred semantics, we also allow witnesses that are admissible sets attacking queried argument.
- October 24, 2024: updated fixed-SAT-comparison description (e.g., examples)
- September 2, 2024: tracks and rules published.
- July 30, 2024: Website for ICCMA'25 has been created.
About ICCMA 2025
The series of
International Competitions on Computational Models of Argumentation (ICCMA)
aims at nurturing research and development of implementations for computational models of argumentation. ICCMA 2025 aims to
- to assess the state of the art in practical systems for reasoning in central argumentation formalisms, and
- to collect and re-distribute a heterogeneous
benchmark set of reasoning problems in argumentation for further scientific evaluations.
ICCMA 2025 welcomes contributions from the community at large in the forms of
- new argumentation reasoning problem benchmarks, and
- implementations of argumentation reasoners (for abstract and assumption-based argumentation)
that will be evaluated within ICCMA 2025 on a heterogeneous collection of benchmarks.