Evaluation of disjunctive programs in WASP
收藏数据链接：
官方服务：
资源简介：
Benchmark set for the paper "Evaluation of disjunctive programs in WASP" accepted for the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019).
提供机构：
Zenodo创建时间：
2019-03-25
