Oct, 2015

ICCMA'15 第一届国际论证计算模型竞赛系统描述

PDF
TL;DR介绍了 18 种提交到首届国际论证计算模型竞赛（ICCMA'15）的系统描述，展示了当前论证问题抽象计算方法的最新进展。详细竞赛结果及解题器性能信息请见网站。
international competitioncomputational modelsargumentationstate-of-the-artabstract
发现论文，激发创造
  • 第二届国际辩论计算模型竞赛的设计与结果

    本文报告了第二届国际计算论证模型比赛的设计和结果，其中包括三种额外的显著语义和一个用于根据实证难度分类实例的实例选择阶段。

    Sep, 2019

  • 第 39 届国际逻辑编程会议论文集

    这篇研究论文总结了第 39 届国际逻辑编程会议（ICLP 2023）在英国伦敦帝国理工学院于 2023 年 7 月 9 日至 7 月 15 日举行的技术交流。涵盖了主会场、博士生学术研讨会、应用与系统 / 演示研讨会、最近发布研究研讨会、一起探讨研讨会、逻辑编程与机器学习、逻辑编程与可解释性、伦理和可信度研究等领域。

    Aug, 2023

  • AI 在线辩论手册第三卷

    该论文是 Online Handbook of Argumentation for AI 的第三卷，主要阐述了论证的形式理论、计算模型以及其在人工智能领域中应用，旨在为论证研究人员提供开放访问和策划出版物。

    Dec, 2022

  • 人工智能在线辩论手册：第四卷

    该论文总结了关于人工智能中论证和辩论的理论和应用的最新研究进展。

    Dec, 2023

  • IAM：一份全面的大规模数据集，用于集成化论证挖掘任务

    本文提出了一个全面而大型的数据集 IAM，旨在用于一系列论证挖掘任务。文集介绍了两个新的综合论证挖掘任务，即主张提取与立场分类（CESC）以及主张 - 证据对提取（CEPE）。实验结果表明了我们提出的任务的价值和挑战，并激励了论证挖掘领域的未来研究。

    Mar, 2022

  • 第三届国际规划比赛：结果与分析

    本文介绍了第三届国际规划竞赛的成果，包括关于竞赛领域、规划师和目标的描述，并对竞赛结果进行了分析。通过统计数据分析，探讨了比较规划师之间的性能、竞赛领域难度的比较、规划师之间关于各个问题难度的相对一致性以及规划师相对扩展到越来越复杂的问题时的效果。最后，对大赛系列的一些未来挑战进行了讨论。

    Jun, 2011

  • ALQAC 2021 竞赛总结

    这篇论文总结了第一届自动法律问题回答竞赛 (ALQAC 2021) 的评估，该竞赛包含三个任务：法规文档处理、法律文本推理预测和法律问题回答，旨在建立一个能够自动确定某个陈述是否合法的系统。

    Apr, 2022

  • 2023 XCSP3 大赛论文集

    2023 XCSP3 竞赛的会议记录，展示了约束求解器比赛的结果，以及在 2023 年 8 月 27 日至 31 日在加拿大多伦多举行的 CP'23（第 29 届约束编程原则与实践国际会议）的主题和研究领域。

    Dec, 2023

  • CAIL 2023 论证挖掘赛道概述

    CAIL 2023 Argument Mining Track focuses on identifying and extracting interacting argument pairs in trial dialogs, using summarized judgment documents, and aims to benefit future work in the field of language models.

    Jun, 2024

  • NIPS 2016 可解释机器学习复杂系统研讨会

    2016 年 NIPS 工作坊于西班牙巴塞罗那举行，主题为可解释的机器学习和复杂系统研究。

    Nov, 2016