PulseAugur
中
实时 08:45:26
实体 fixpoint operator

fixpoint operator

PulseAugur coverage of fixpoint operator — every cluster mentioning fixpoint operator across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_160688 ·

    描述逻辑程序的新语义提高了复杂性和表征能力

    研究人员为描述逻辑程序引入了一种新颖的语义，旨在解决现有良支撑语义的局限性。新方法为一致性问题提供了改进的计算复杂性，将其保持在NP完全的范围内，并通过不动点算子和约简变换提供了表征。这种更严格的语义在保持良支撑性的核心概念的同时，提供了更精细的概念，使其更贴近传统的逻辑编程原则。