Paracoherent Answer Set Computation

Name: Paracoherent Answer Set Computation
Creator: University of Calabria; Alpen-Adria-Universität
Published: 2020-07-28T00:00:00+08:00

Zenodo2020-07-28 更新2026-04-07 收录

数据链接：

官方服务：

资源简介：

Instances used for the experiments of the paper "Paracoherent Answer Set Computation".

提供机构：

创建时间：

2020-07-28