找到2个数据集

标签: 经典规划

过滤结果

  • Eriksson_ICAPS_2017_Based_经典规划不可解性证明实验数据

    2026年1月19日 30 190 151

    数据集概述 本数据集为Eriksson等人在ICAPS 2017发表的论文《Unsolvability Certificates for Classical Planning》所用实验数据，包含实验运行的解析属性及重要属性概览，以压缩包形式提供，支持经典规划算法的不可解性证明研究。 文件详解 压缩包文件： 文件名称：eriksson-et-al-...
    packageimg

  • 正式表示的PDDL规划域数据集

    2025年12月21日 30 18 6

    数据集概述 该数据集存储扩展了域范围目标和合法实例约束的PDDL域文件，符合特定形式化方法，包含用于经典规划领域独立实例生成研究的版本，为自动化规划领域的相关研究提供数据支持。 文件详解 文件名称：aibasel/formally-represented-domains-v1.0.zip 文件格式：ZIP压缩包...
    packageimg