- September 19, 2023: Solver and benchmark descriptions of ICCMA 2023 are available.
- September 15, 2023: Benchmark instances and raw results of ICCMA 2023 and sources of participating solvers are available.
- September 11, 2023: Slides of the ICCMA 2023 presentation given at Arg&App 2023 are available.
- April 12, 2023: The specification for queries in ABA track has been updated to reflect that any atom can be a query.
- April 5, 2023: A script for testing solvers participating to the dynamic track is now available in the IPAFAIR repository.
- March 31, 2023: The deadline for submitting solvers and benchmarks has been extended to April 30.
- February 14, 2023: The IPAFAIR specification has been updated: note that in the dynamic track, deleting an argument also deletes the incident attacks from the AF instance!
- NEW FOR 2023:
- November 3, 2022: Website published
About ICCMA 2023
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 2023 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 2023 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 2023 on a heterogeneous collection of benchmarks.
ICCMA 2023 is organizers by Matti Järvisalo, Tuomo Lehtonen, and Andreas Niskanen (University of Helsinki, Finland). The preliminarity plan is to present the competition results at the KR 2023 conference.