May, 2024

关于非平坦的基于假设的论证和包含失败否定的逻辑规划的对应关系

TL;DR通过对非平面 ABA 的扩展,我们建立了假设为 LP 中的不可行否定的稳定模型语义,以及在 LP 中的否定失效头部的集合稳定 ABA 语义之间的对应关系。