PulseAugur
中
实时 08:56:52
实体 TOHTN

TOHTN

PulseAugur coverage of TOHTN — every cluster mentioning TOHTN 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_235400 ·

    新的基于SMT的编码增强了数值HTN规划能力

    研究人员开发了一种新的数值分层任务网络（HTN）规划方法，通过将标准的基于SAT的编码扩展到可满足性模理论（SMT）。这种方法使得在HTN规划中处理数值流（numeric fluents）成为可能，而这在之前的系统中一直受到限制。该团队还引入了一个基准套件，以促进数值TOHTN规划的评估，为该领域的未来研究奠定了竞争性基线。