Data set and benchmarks from Eriksson et al., ICAPS 2018
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/record/1196475
下载链接
链接失效反馈官方服务：
资源简介：
These are the benchmarks and the experiment data used in the paper "A Proof System for Unsolvable Planning Tasks" by Eriksson et al. (ICAPS 2018). The raw data contains the logs from all runs, while the eval-directories contain a json file with all parsed attributes. The benchmarks directory contains all benchmarks used in the experiments. Finally, the file eriksson-et-al-icaps2018.html provides an overview over the most interesting attributes across all runs.
创建时间：
2020-01-24
