马利克·加拉布;瑙，达纳;保罗·特拉弗索 自动化规划。理论与实践。 （英语） Zbl 1074.68613号 阿姆斯特丹：爱思唯尔；加利福尼亚州旧金山：Morgan Kaufmann（ISBN 1-55860-856-7/hbk）。xxviii，635页。(2004). 出版商描述：自动规划技术现在在各种要求苛刻的应用中发挥着重要作用，从控制航天器和机器人到玩桥牌游戏。这些现实世界中的应用为理论和实践之间的协同创造了新的机会：观察在实践中行之有效的东西会产生更好的规划理论，更好的理论会带来更好的实际应用性能。本书通过提供自动化规划理论和实践方面的全面、最新资源，反映了这一对话。这本书远远超越了经典规划，包括时间规划、资源调度、不确定性下的规划，以及用于生成计划的现代技术，如任务分解、命题可满足性、约束满足和模型检查。 引用于97文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68-01 与计算机科学有关的介绍性说明（教科书、教程论文等） PDF格式BibTeX公司 XML格式引用 \textit{M.Ghallab}等人，《自动规划》。理论与实践。阿姆斯特丹：爱思唯尔；加利福尼亚州旧金山：Morgan Kaufmann（2004；Zbl 1074.68613） 全文： 链接