找到2个数据集

标签: 推理算法

过滤结果

  • 基于规则的论证基础器ANGRY基准实例数据集

    2025年12月21日 30 202 194

    数据集概述 本数据集包含用于评估基于规则的论证基础器ANGRY的基准实例，按论文《使用Datalog为基于规则的论证建立基础》中描述的场景组织，涵盖不同场景的测试实例及实验结果文件。 文件详解 基准实例文件（evaluation.7z）：压缩文件，包含不同场景的基准实例，具体如下：...
    packageimg

  • 轻量级描述逻辑增量SAT公理定位实证评估数据集

    2025年12月20日 30 129 19

    数据集概述 该数据集包含论文《SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT》中提出的程序的实证评估结果及对应输入数据，支持轻量级描述逻辑领域的公理定位方法研究。 文件详解 该数据集包含八个文件，具体说明如下： -...
    packageimg