理查德·菲克斯（Richard E.Fikes）。;尼尔斯·尼尔森。 STRIPS：一种将定理证明应用于问题解决的新方法。 （英语） Zbl 0234.68036号 Artif公司。智力。 2, 189-208 (1971). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于192文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式 BibTeX公司 XML格式 引用 \textit{R.E.Fikes}和\textit{N.J.Nilsson}，Artif。智力。2189--208（1971年；Zbl 0234.68036） 全文： 内政部 打开URL 参考文献： [1] 新泽西州尼尔森，《人工智能中的问题解决方法》，（1971），纽约麦格劳-希尔图书公司 [2] Munson，J.H.，《不确定环境中的机器人规划、执行和监控》，（） [3] Fikes，R.E.，监测STRIPS生成的机器人计划的执行情况，（） [4] Green，C.，定理证明在问题解决中的应用，（） [5] 拉斐尔，B.，问题解决系统中的框架问题，（） [6] 恩斯特·G。；Newell，A.，《全球定位系统：通用性和问题解决的案例研究》，（）·Zbl 0187.13302号 [7] 加维，T。；Kling，R.，《QA3.5问答系统用户指南》，斯坦福研究所人工智能小组技术说明15，（1969年12月），加利福尼亚州门罗公园 [8] 瓦尔丁格，R。；Lee，R.，PROW：自动程序编写的一步，（） [9] Manna，Z。；Waldinger，R.，《走向自动程序合成》，美国通信学会。，14，第3号，（1971年3月） [10] 哈特，体育。；新泽西州尼尔森，《作为学习方法的广义计划的构成》，（） [11] 休伊特，C.，普兰纳：机器人模型操作和定理证明语言，（），（修订） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献，而不要求匹配的完整性或精确性。