中文

ICCMA 2021的设计与结果

人工智能 2021-10-07 v2

摘要

自2015年起,国际计算论证模型竞赛(ICCMA)为求解抽象论证领域中若干经典推理问题的不同算法提供了系统性比较。本文讨论第四届国际计算论证模型竞赛的设计。我们描述了竞赛规则及所采用的基准选取方法。在简要介绍参赛系统后,我们给出结果概览。

关键词

引用

@article{arxiv.2109.08884,
  title  = {Design and Results of ICCMA 2021},
  author = {Jean-Marie Lagniez and Emmanuel Lonca and Jean-Guy Mailly and Julien Rossit},
  journal= {arXiv preprint arXiv:2109.08884},
  year   = {2021}
}

备注

14 pages. Part of ICCMA 2021 proceedings