Bounded-Resource Reasoning as (Strong or Classical) Planning
Bounded-Resource Reasoning as (Strong or Classical) Planning
复制标题
作为（强或经典）规划的有限资源推理
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Albore Alexandre
中科院分区：
文献类型：
--
作者：
Albore Alexandre
作为定理证明的经典人工智能规划：线性逻辑片段的案例
DOI：
--
发表时间：
1993
期刊：
影响因子：
--
作者：
Éric Jacopin
通讯作者：
Éric Jacopin
使用可分离双线性程序进行随时协调
DOI：
--
发表时间：
2007
期刊：
AAAI Conference on Artificial Intelligence
影响因子：
--
作者：
Marek Petrik;S. Zilberstein
通讯作者：
S. Zilberstein
计划生成的演绎解决方案
影响因子：
2.6
作者：
W. Bibel
通讯作者：
W. Bibel