PulseAugur
实时 12:38:20
实体 Leisegang et al.

Leisegang et al.

PulseAugur coverage of Leisegang et al. — every cluster mentioning Leisegang et al. across labs, papers, and developer communities, ranked by signal.

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

    新逻辑框架将可废止信念与多视角相结合

    研究人员将可废止逻辑与立场逻辑相结合,创建了可废止受限立场逻辑(DRSL)。该框架允许正式表达考虑多个、可能冲突的视角,每个视角都持有可被覆盖的信念的知识。该论文为DRSL语义提供了基础性结果,并将命题逻辑的蕴含关系扩展到这个新的、增强了立场的语境中,包括理性闭包和字典序闭包。