BriefGPT.xyz
Ask
alpha
关键词
set-stable aba
搜索结果 - 1
关于非平坦的基于假设的论证和包含失败否定的逻辑规划的对应关系
通过对非平面 ABA 的扩展，我们建立了假设为 LP 中的不可行否定的稳定模型语义，以及在 LP 中的否定失效头部的集合稳定 ABA 语义之间的对应关系。
PDF
2 months ago
Prev
Next