PulseAugur
中
实时 09:19:21
实体 Till Hofmann

Till Hofmann

PulseAugur coverage of Till Hofmann — every cluster mentioning Till Hofmann 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_300840 ·

    新的AI方法增强了情境演算中的时间推理能力

    研究人员通过将定时自动机理论的概念整合到情境演算框架中,开发了一种新的人工智能时间推理方法。该方法将时钟引入为受限的实值流,从而实现了有限域基本动作理论的可判定可达性问题。这些发现可应用于 Golog 程序实现,为确定成功的动作序列提供了一种可判定的程序。