PulseAugur
中
实时 05:04:17
实体 Distributed knowledge

Distributed knowledge

PulseAugur coverage of Distributed knowledge — every cluster mentioning Distributed knowledge 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 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_119545 ·

    新研究推进了关于信念和分布式知识的认知逻辑

    两篇新研究论文探讨了认知逻辑领域的进展，该领域关注关于知识和信念的推理。第一篇论文在标准克里普克模型中引入了一种新颖的信念收缩机制，解决了现有方法需要丰富模型的局限性。第二篇论文侧重于具有分布式知识的认知逻辑的序列演算，建立了保证这些系统满足 Craig 插值定理的解析割性质。