PulseAugur
中
实时 06:38:57
实体 OEIS A137842

OEIS A137842

PulseAugur coverage of OEIS A137842 — every cluster mentioning OEIS A137842 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. TOOL · CL_340240 ·

    新的作用域语法计算自然语言规则的逻辑读数

    研究人员开发了一种“作用域语法”来分析自然语言规则中的逻辑歧义，特别是关于连接词如何加括号。这种语法是一种上下文无关语法，将推导树映射到连接词骨架的逻辑读数。该研究侧重于模逻辑等价性地计数和枚举这些读数，发现不同读数的数量远少于可能加括号的数量。该研究确定了歧义的条件，并提供了一种计数不同读数的方法，在自动形式化方面具有潜在应用。