摘要
阿道夫，H.M.，约翰斯顿医学博士（1990）。 约束满足问题的离散随机神经网络算法。 程序。 神经网络国际联合会议 加利福尼亚州圣地亚哥，1990年。 谷歌学者 
交叉引用 
Allen，J.（1991）。 作为时间推理的规划。 程序。 KR-89型 马萨诸塞州剑桥市，1991年。 谷歌学者 交叉引用 Bacchus，F.和Kabanza，F.（1995年）。 使用时序逻辑控制前向链接规划器中的搜索。 程序。 EWSP-95型 , 157-169. 谷歌学者 Backstrom，C.（1992）。 计划推理的计算复杂性 ，博士论文，瑞典林科平林科平大学。 谷歌学者 Barrett，A.和Weld，D.（1994年）。 部分订单计划：评估可能的效率收益。 人工智能 , 67:71-112, 1994. 谷歌学者 数字图书馆 
Blum，A.和Furst，M.L.（1995年）。 通过规划图分析快速规划。 程序。 国际JCAI-95 加拿大蒙特利尔。 谷歌学者 交叉引用 Bylander，T.（1991）。 规划的复杂性结果。 程序。 国际JCAI-91 澳大利亚悉尼，274-279。 谷歌学者 Carbonell，J.、Blythe J.、Etzioni，O.、Gil，Y.、Joseph，R.、Kahn，D.、Knoblock，C.、Minton，S.、Perez，A.、Reilly，S.，Veloso，M.、Wang，X（1992年）。 Prodigy 4.0：手册和教程。 CMU，CS技术报告CMU-CS-92-150。 谷歌学者 交叉引用 Chenoweth，S.V.（1991）。 关于区块世界的NP-hardness。 程序。 AAAI-91型 ，加利福尼亚州阿纳海姆，623-628。 谷歌学者 Crawford，J.M.和Auton，L.D.（1993）关于可满足性问题交叉点的实验结果。 程序。 AAAI-93型 华盛顿特区，21-27。 谷歌学者 数字图书馆 Crawford，J.和Baker，A.B.（1994年）。 可满足性算法应用于调度问题的实验结果。 程序。 AAAI-94型 华盛顿州西雅图。 谷歌学者 Dechter，R.和Rish，I.（1994年）。 定向解决：重新审查Davis-Putnam程序。 程序。 KR-94型 德国波恩。 谷歌学者 Dubois，O.、Andre，P.、Boufkhad，Y.和Carlier，J.（1996）。 A-SAT和C-SAT。 离散数学和理论计算机科学中的Dimacs级数 .（出现） 谷歌学者 Erol，K.、Nau，D.S.和Subrahmanian，V.S.（1992年）。 关于领域相关规划的复杂性。 程序。 AAAI-92型 , 381-386. 谷歌学者 Etzioni，O.和Weld，D.S.（1994年）。 一种基于软球的互联网接口。 通信ACM 1994年7月。 谷歌学者 数字图书馆 Fikes，R.E.和Nilsson，N.J.（1971）。 STRIPS：一种将定理证明应用于问题解决的新方法。 人工智能 , 2(3/4), 189-208. 谷歌学者 交叉引用 Friedman，M.（1996）。 个人沟通。 谷歌学者 Green，C.（1969年）。 定理证明在解题中的应用。 在 程序。 国际JCAI-69 1969年，华盛顿特区，219-239。 谷歌学者 Gupta和Nau（1991年）。 区块规划的复杂性结果。 程序。 AAAI-91型 加利福尼亚州阿纳海姆，邮编629-633。 谷歌学者 Gupta和Nau（1992年）。 关于区块世界规划的复杂性。 人工智能 , 56 ，第139-403页。 谷歌学者 数字图书馆 Haas，A.（1987）。 特定于域的框架公理的情况。 在 人工智能中的框架问题，1987年研讨会论文集 F.M.Brown编辑，劳伦斯，堪萨斯州，1987年。 Morgan Kaufmann Publishers，加利福尼亚州洛斯阿尔托斯。 谷歌学者 Joslin，D.和Pollack，M.（1995）。 计划生成中的被动和主动决策延迟。 在 欧洲规划研讨会 1995年9月，意大利阿西西。 谷歌学者 Kautz，H.和Selman，B.（1992）《规划作为可满足性》。 程序。 ECAI-92标准 奥地利维也纳，1992年，359-363。 谷歌学者 数字图书馆 Kautz，H.、McAllester，D.和Selman，B.（1996年）。 命题逻辑中的计划编码。 正在准备中。 谷歌学者 Kirkpatrick，S.、Gelatt，C.D.和Vecchi，M.P.（1983年）。 通过模拟退火进行优化。 科学类 , 220 (1983) 671-680. 谷歌学者 交叉引用 McCarthy，J.和Hayes，P.（1969年）。 从人工智能的角度看一些哲学问题。 在 机器智能4 ，D.Michie，ed.，Ellis Horwood，Chichester，England，1969年，第463ff页。 谷歌学者 McAllester，D.和Rosenblitt，D.（1991年）。 系统非线性规划。 程序。 AAAI-91 加利福尼亚州阿纳海姆。 谷歌学者 Minton，S.、Johnston，M.D.、Philips，A.B.和Laird，P.（1990）使用启发式修复方法解决大规模约束满足和调度问题。 程序。 AAAI-90型 , 1990, 17-24. 谷歌学者 Minton，S.、Johnston，M.D.、Philips，A.B.和Laird，P.（1992）《最小化冲突：约束满足和调度问题的启发式修复方法》。 人工智能 , (58)1-3, 1992, 161-205. 谷歌学者 Pednault，E.（1988）。 综合包含具有上下文相关效果的行动的计划。 计算智能 , 4(4):356-372, 1988. 谷歌学者 交叉引用 Penberthy，J.和Weld，D.（1992年）。 UCPOP：ADL的健全、完整、部分订单计划器。 在 程序。 KR-92型 马萨诸塞州波士顿，103-114。 谷歌学者 Davis，M.、Logemann，G.和Loveland，D.（1962年）。 定理证明的机器程序。 通信ACM , 5, 1962, 394-397. 谷歌学者 数字图书馆 舒伯特·L（1989）。 情境演算中框架问题的单调解：具有完全指定动作的世界的一种有效方法。 在 知识表示与可延迟推理 H.Kyburg、R.Loui和G.Carlson编辑。 谷歌学者 Selman，B.（1994年）。 近最优计划、牵引性和反应性。 程序。 KR-94型 德国波恩，1994年，521-529。 谷歌学者 Selman，B.（1995）。 随机搜索和相变：人工智能与物理相遇。 程序。 国际JCAI-95 1995年，加拿大蒙特利尔。 谷歌学者 Selman，B.、Kautz，H.和Cohen，B.（1994年）。 局部搜索的噪声策略。 程序。 AAAI-94型 ，华盛顿州西雅图，1994年，337-343。 谷歌学者 Selman，B.、Kautz，H.和Cohen，B.（1996）《可满足性测试的局部搜索策略》。 离散数学和理论计算机科学中的Dimacs级数 .（出现） 谷歌学者 Selman，B.、Levsque，H.和Mitchell，D.（1992年）。 一种求解难满足问题的新方法。 程序。 AAAI-92型 加利福尼亚州圣何塞市，1992年，440-446。 谷歌学者 数字图书馆 Stone，P.、Veloso，V.和Blythe，J.（1994年）。 需要不同的域依赖启发式。 在 AIPS94标准 第164-169页，芝加哥，1994年。 谷歌学者 Trick，M.和Johnson，D.（编辑）（1993年） 程序。 DIMACS对可满足性测试的挑战 新泽西州皮斯卡塔韦，1993年。 （DIMACS系列离散数学） 谷歌学者 Veloso，M.（1992年）。 在一般问题解决中通过类比推理进行学习。 CMU博士论文，CS技术报告CMU-CS-92-174。 谷歌学者
建议
推安德森的信封：归属的模态逻辑 DEON’08：第九届计算机科学道义逻辑国际会议论文集 本文对规范的归属观进行了形式化分析，将安德森的还原论方法、计数分析和一种新的语言形式化表示方法结合在一起。 这个。。。
