Mar, 2022

学习素描:将规划问题分解为有限宽度的子问题:扩展版

TL;DR该研究描述了使用草图来表示相同领域实例的子目标结构的能力,并提出了一种自动学习草图的解决方案,以及该解决方案所使用的 ASP 求解器 Clingo 和 SIW_R 规划器。