[PlanetKR] ICCMA 2023 Call for Solvers and Benchmarks

Järvisalo, Matti J matti.jarvisalo at helsinki.fi
Sun Nov 6 20:36:52 UTC 2022

*** Call for Solvers and Benchmarks ***
ICCMA 2023: 5th International Competition on Computational Models of Argumentation

-April 15, 2023: Solver and benchmark submissions
-Results revealed in conjunction with the KR 2023 conference

The ICCMA competition series aims at nurturing research and development
of implementations for computational models of argumentation. ICCMA 2023
invites 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.

-Main track on Abstract Argumentation (including a "No-limits" track
 specific for e.g. parallel and portfolio solvers)
-Approximate Track (on abstract argumentation)
-Dynamic Track (on abstract argumentation)
-ABA track (on the structured argumentation formalism of assumption-based
For more details, see https://iccma2023.github.io/tracks.html

NEW FOR 2023:

-Changes to input and output formats, directly supporting indexed arguments:
 for details, see https://iccma2023.github.io/rules.html#input-format

-A solver may compete in any sub-track, defined as a computation of a
 reasoning mode and an argumentation semantics.
 For details, see https://iccma2023.github.io/tracks.html

-Participation in the Dynamic Track supported by a new IPAFAIR API:
 for details, see https://iccma2023.github.io/tracks.html#dynamic

-For benchmark submissions, see
-For solver submissions, see

ICCMA 2023 Organizers:
Matti Jarvisalo, Tuomo Lehtonen, Andreas Niskanen (University of Helsinki)

CONTACT: grp-iccma23 at helsinki.fi

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20221106/f99bfcaa/attachment.htm>

More information about the PlanetKR mailing list