实体 Yi-Dong Shen

Yi-Dong Shen

PulseAugur coverage of Yi-Dong Shen — every cluster mentioning Yi-Dong Shen across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_22554 · May 8 · 04:00

研究人员改进了 Gelfond 理性原则以用于答案集语义

研究人员改进了 Gelfond 理性原则，为非单调逻辑编程中的答案集语义开发了更全面的基础原则。该研究质疑了最小模型属性、约束单调性和基础性的强制性，认为它们可能过于严格。提出了新的良好支持性、关于默认否定最小化和关于认知否定最小化的原则，以确保答案集是可构造的并最小化知识。