马塞洛·巴尔杜奇尼;迈克尔·盖尔芬德;R.沃森。;M.诺盖拉。 美国顾问：答案集规划案例研究。 （英语） Zbl 1010.68800号 托马斯·艾特（编辑）等人，《逻辑编程与非单调推理》。第六届国际会议，LPNMR 2001，奥地利维也纳，2001年9月17日至19日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2173, 439-442 (2001). 总结：在这项工作中，我们展示了如何利用控制知识来改进美国航天飞机顾问决策支持系统中的规划。USA-advisor是一个中等大小的真实世界规划应用程序，供NASA飞行控制器使用，它包含十几个依赖域和独立域的启发式。这里给出了实验结果，说明了这种控制知识如何帮助提高计划的质量以及整体系统性能。关于整个系列，请参见[Zbl 0971.00048号]. 引用于11文件 MSC公司： 68单位99 计算方法和应用 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） PDF格式BibTeX公司 XML格式引用 \textit{M.Balduccini}等人，莱克特。票据计算。科学。2173439--442（2001年；Zbl 1010.68800）