Afsaneh Shirazi;埃亚尔·埃米尔 一阶逻辑滤波。 (英语) Zbl 1216.68276号 Artif公司。智力。 175,第1期,193-219(2011).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Shirazi}和\textit{E.Amir},Artif。因特尔。175,第1号,193--219(2011;Zbl 1216.68276) 全文: 内政部
埃亚尔·埃米尔;希拉·麦克拉伊思 一阶和命题理论的基于分区的逻辑推理。 (英语) 兹比尔1132.68672 Artif公司。智力。 162,编号1-2,49-88(2005).MSC公司:68吨15 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{E.Amir}和\textit{S.McIlraith},Artif。因特尔。162,编号1--2,49-88(2005;Zbl 1132.68672) 全文: 内政部
Seo,M。;艾达·H。;Uiterwijk,J.W.H.M。 (PN^{*})搜索算法:在tsume-shogi中的应用。 (英语) Zbl 0971.68039号 Artif公司。智力。 129,编号1-2,253-277(2001).MSC公司:68页第10页 91A40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Seo}等人,Artif。因特尔。129,编号1--2,253--277(2001;Zbl 0971.68039) 全文: 内政部
Jiménez,P。;托拉斯,C。 一种搜索带圈隐式AND/OR图的有效算法。 (英语) Zbl 0957.68034号 Artif公司。智力。 124,第1期,1-30页(2000年).MSC公司:68页第10页 68周05 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Jiménez}和\textit{C.Torras},Artif。因特尔。124,编号1,1--30(2000;Zbl 0957.68034) 全文: 内政部
埃里克·鲍姆。;史密斯,沃伦·D。 游戏中相关性的贝叶斯方法。 (英语) Zbl 0904.68075号 Artif公司。智力。 97,编号1-2195-242(1997).MSC公司:68页第10页 68T01型 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Baum}和\textit{W.D.Smith},Artif。因特尔。97,编号1--2,195--242(1997;Zbl 0904.68075) 全文: 内政部
理查德·科尔夫(Richard E.Korf)。;Chickering,大卫·麦克斯韦 最佳最小最大搜索。 (英语) Zbl 1506.68126号 Artif公司。智力。 84,编号1-2,299-337(1996).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Korf}和\textit{D.M.Chickering},Artif。因特尔。84,编号1--2,299--337(1996;Zbl 1506.68126) 全文: 内政部
艾利斯·L·维克多;马滕·范德梅伦;H.Jaap,van den Herik 凭证编号搜索。 (英语) Zbl 0801.90145号 Artif公司。智力。 66,第1期,91-124(1994).MSC公司:91A43型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.V.Allis}等人,Artif。因特尔。66,编号1,91--124(1994;Zbl 0801.90145) 全文: 内政部
大卫·马奇勒 minimax的多层版本显示了无游戏病理。 (英语) Zbl 0803.90133号 Artif公司。智力。 64号,第323-336号(1993年). 审核人:D.Mutchler(美国诺克斯维尔) MSC公司:91A10号 91B06型 68页第10页 PDF格式BibTeX公司 XML格式引用 \文本{D.Mutchler},Artif。因特尔。64,第2号,323--336(1993;Zbl 0803.90133) 全文: 内政部
Edward P.jun,斯塔勒。 解析为非Horn演绎。 (英语) Zbl 0809.68080号 Artif公司。智力。 63,编号1-2,225-264(1993). 审核人:A.Biela(卡托维兹) MSC公司:68N20型 68N17号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Stabler jun.},阿蒂夫。因特尔。63,编号1--2225-264(1993;Zbl 0809.68080) 全文: 内政部
福斯托·金奇利亚;托比·沃尔什 抽象理论。 (英语) Zbl 0762.68054号 Artif公司。智力。 57,编号2-3,323-389(1992).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{T.Walsh},Artif。因特尔。57,编号2--3,323--389(1992;Zbl 0762.68054) 全文: 内政部
约翰·德克莱尔;艾伦·K·麦克沃思。;雷蒙德·雷特 描述诊断和系统的特征。 (英语) Zbl 0772.68085号 Artif公司。智力。 56,第2-3号,197-222(1992).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.de Kleer}等人,Artif。因特尔。56,编号2-3197-222(1992;Zbl 0772.68085) 全文: 内政部
聂旭敏;David A.Plaisted。 语义反向链接证明系统。 (英语) Zbl 0762.68056号 Artif公司。智力。 55,第1期,109-128(1992).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{X.Nie}和\textit{D.A.Plaisted},Artif。因特尔。55,编号1,109--128(1992;Zbl 0762.68056) 全文: 内政部
诺伯特·艾辛格;汉斯·尤根·奥巴赫;阿克塞尔·普雷克林 基于分辨率的系统的简化规则。 (英语) Zbl 0764.68151号 Artif公司。智力。 50,第2期,141-181(1991).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Eisinger}等人,人工制品。因特尔。50,No.2,141--181(1991;Zbl 0764.68151) 全文: 内政部
多米尼克·帕斯特 MUSCADET:使用数学中的知识和元知识的自动定理证明系统。 (英语) Zbl 0668.68103号 Artif公司。智力。 38,第3期,257-318(1989). 审核人:芬斯克(Ch.Fenske) MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Pastre},艺术。因特尔。38,编号3,257-318(1989年;Zbl 0668.68103) 全文: 内政部
约翰·德克莱尔;布莱恩·威廉姆斯。 诊断多个故障。 (英语) Zbl 0642.94045号 Artif公司。智力。 32, 97-130 (1987).MSC公司:94立方厘米 68T99型 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{J.de Kleer}和\textit{B.C.Williams},Artif。因特尔。32、97——130(1987年;Zbl 0642.94045) 全文: 内政部
茨城,T。 alpha-beta和\(SSS^*\)搜索过程的概述。 (英语) Zbl 0593.68074号 Artif公司。智力。 29, 73-117 (1986).MSC公司:68T99型 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{T.茨城},Artif。因特尔。29、73-117(1986年;Zbl 0593.68074) 全文: 内政部
杰纳维耶夫·博苏;皮埃尔·西格尔 饱和、非单调推理和封闭世界假设。 (英语) Zbl 0569.68078号 Artif公司。智力。 25, 13-63 (1985). 审核人:M.Suchenek先生 MSC公司:68T99型 68吨15 03元52分 03B10号机组 68第20页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Bossu}和\textit{P.Siegel},Artif。因特尔。25,13--63(1985;Zbl 0569.68078) 全文: 内政部
Jieh乡 使用术语重写系统证明反驳定理。 (英语) 兹伯利0558.68072 Artif公司。智力。 25, 255-300 (1985). 审核人:杰拉图什卡 MSC公司:68吨15 03B30型 03B35型 03B10号机组 06E20型 08A50号 PDF格式BibTeX公司 XML格式引用 \textit{J.祥},Artif。因特尔。25255--300(1985年;Zbl 0558.68072) 全文: 内政部 链接
汉斯·柏林;默里·坎贝尔 使用Chunking来解决国际象棋典当结束游戏。 (英语) Zbl 0537.68097号 Artif公司。智力。 23, 97-120 (1984).MSC公司:68T99型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{H.Berliner}和\textit{M.Campbell},Artif。因特尔。23、97——120(1984年;Zbl 0537.68097) 全文: 内政部
内文·达维什(Nevin M.Darwish)。 α-β剪枝算法的定量分析。 (英语) Zbl 0521.68038号 Artif公司。智力。 21, 405-433 (1983).MSC公司:65年第68季度 68T99型 91A05型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{N.M.Darwish},阿蒂夫。因特尔。21405--433(1983年;Zbl 0521.68038) 全文: 内政部
Murray S.坎贝尔。;马萨诸塞州马斯兰。 极大极小树搜索算法的比较。 (英语) Zbl 0509.68104号 Artif公司。智力。 20, 347-367 (1983).MSC公司:68T99型 68页第10页 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Campbell}和\textit{T.A.Marsland},Artif。因特尔。20、347--367(1983年;Zbl 0509.68104) 全文: 内政部
维平·库马尔;Kanal,Laveen N。 用于理解和合成和/或树搜索过程的通用分支定界公式。 (英语) 兹比尔0507.68062 Artif公司。智力。 21, 179-198 (1983).MSC公司:68T99型 68页第10页 90B40码 PDF格式BibTeX公司 XML格式引用 \textit{V.Kumar}和\textit{L.N.Kanal},Artif。因特尔。21179--198(1983年;Zbl 0507.68062) 全文: 内政部
朱迪亚·珀尔 知识与搜索:使用a*进行定量分析。 (英语) Zbl 0497.68036号 Artif公司。智力。 20, 1-13 (1983).MSC公司:68页第10页 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{J.珀尔},阿蒂夫。因特尔。20、1-13(1983年;Zbl 0497.68036) 全文: 内政部
罗森布鲁姆(Paul S.Rosenbloom)。 世界冠军级奥赛罗计划。 (英语) Zbl 0526.68089号 Artif公司。智力。 19, 279-320 (1982).MSC公司:68T99型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Rosenbloom},阿蒂夫。因特尔。19、279--320(1982年;Zbl 0526.68089) 全文: 内政部
David A.Plaisted。 定理的抽象证明。 (英语) Zbl 0454.68113号 Artif公司。智力。 16, 47-108 (1981).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Plaisted},阿蒂夫。因特尔。16,47-108(1981年;兹bl 0454.68113) 全文: 内政部
越南Huyn;丽娜·德希特;朱迪亚·珀尔 A*复杂性的概率分析。 (英语) Zbl 0447.68068号 Artif公司。智力。 15, 241-254 (1980).MSC公司:68页第10页 65年第68季度 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{N.Huyn}等人,Artif。因特尔。15、241--254(1980年;Zbl 0447.68068) 全文: 内政部
朱迪亚·珀尔 极大极小树的渐近性质和博弈搜索过程。 (英语) Zbl 0445.68048号 Artif公司。智力。 14, 113-138 (1980).MSC公司:68页第10页 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.珀尔},阿蒂夫。因特尔。14、113--138(1980年;Zbl 0445.68048) 全文: 内政部
斯托克曼,G.C。 一个比alpha-beta更好的minimax算法? (英语) Zbl 0418.68041号 Artif公司。智力。 12, 179-196 (1979).MSC公司:65年第68季度 68T99型 68卢比99 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{G.C.Stockman},阿蒂夫。因特尔。12、179--196(1979年;Zbl 0418.68041) 全文: 内政部
Gerard M.波德。 关于α-β剪枝算法的分支因子。 (英语) Zbl 0377.68023号 Artif公司。智力。 173-199年10月(1978年).MSC公司:68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Baudet},阿蒂夫。因特尔。10173-199(1978年;Zbl 0377.68023) 全文: 内政部
帕斯特尔,D。 集合论中定理的自动证明。 (英语) Zbl 0374.68059号 Artif公司。智力。 10, 1-27 (1978).MSC公司:68吨15 03埃克斯 03-04 PDF格式BibTeX公司 XML格式引用 \textit{D.Pastre},艺术。因特尔。10、1--27(1978年;Zbl 0374.68059) 全文: 内政部
新生儿,M.M。 在具有分支相关终端节点得分的树上进行字母-贝塔搜索的效率。 (英语) Zbl 0359.68043号 Artif公司。智力。 8, 137-153 (1977).MSC公司:68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Newborn},阿蒂夫。因特尔。8137-153(1977年;Zbl 0359.68043) 全文: 内政部
布莱索,W.W。 不可解定理证明。 (英语) Zbl 0358.68131号 Artif公司。智力。 9,1-35(1977年).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.W.Bledsoe},阿蒂夫。因特尔。9、1--35(1977年;Zbl 0358.68131) 全文: 内政部
比利·G·克莱布鲁克。 多元多项式符号分解的一种新方法。 (英语) Zbl 0333.68067号 Artif公司。智力。 7, 203-241 (1976).MSC公司:68吨10 68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{B.G.Claybrook},阿蒂夫。因特尔。7、203--241(1976年;Zbl 0333.68067) 全文: 内政部
乔治·列维;弗朗科·西罗维奇 广义AND/OR图。 (英语) Zbl 0333.68063号 Artif公司。智力。 7, 243-259 (1976).MSC公司:68吨15 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Levi}和\textit{F.Sirovich},Artif。因特尔。7、243--259(1976年;Zbl 0333.68063) 全文: 内政部
劳伦斯·马兹拉克。 使用优先关系的填字游戏的计算机构造。 (英语) Zbl 0317.68077号 Artif公司。智力。 7, 1-19 (1976).MSC公司:68吨10 65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.J.Mazlack},阿蒂夫。因特尔。7,1-19(1976年;兹bl 0317.68077) 全文: 内政部
唐纳德·科努特(Donald E.Knuth)。;罗纳德·摩尔。 α-β修剪分析。 (英语) Zbl 0358.68143号 Artif公司。智力。 6, 293-326 (1975).MSC公司:68吨10 68瓦99 91A05型 91A20型 91A40型 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Knuth}和\textit{R.W.Moore},Artif。因特尔。6293-326(1975年;Zbl 0358.68143) 全文: 内政部
赫伯特·A·西蒙。;约瑟夫·卡丹(Joseph B.Kadane)。 最佳问题解决搜索:所有或单个解决方案。 (英语) Zbl 0328.68079号 Artif公司。智力。 6, 235-247 (1975).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.A.Simon}和\textit{J.B.Kadane},阿蒂夫。因特尔。6235-247(1975年;Zbl 0328.68079) 全文: 内政部 链接
阿瑟·奈文斯。 用前向链证明平面几何定理。 (英语) Zbl 0301.68086号 Artif公司。智力。 6, 1-23 (1975).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Nevins},阿蒂夫。因特尔。6、1--23(1975年;Zbl 0301.68086) 全文: 内政部 链接
杰罗姆·费尔德曼。;约拉姆·雅基莫夫斯基 决策理论和人工智能。一: 基于语义的区域分析器。 (英语) 兹标0289.68055 Artif公司。智力。 5, 349-371 (1974).MSC公司:68吨10 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Feldman}和\textit{Y.Yakimovsky},Artif。因特尔。5349-371(1974年;Zbl 0289.68055) 全文: 内政部
拉里·哈里斯。 错误条件下的启发式搜索。 (英语) Zbl 0288.68050号 Artif公司。智力。 5, 217-234 (1974).MSC公司:68吨10 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{L.R.Harris},阿蒂夫。因特尔。5217--234(1974年;Zbl 0288.68050) 全文: 内政部
布莱索,W.W。;彼得·布鲁尔 人机理论证明系统。 (英语) 兹标0286.68047 Artif公司。智力。 5, 51-72 (1974).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.W.Bledsoe}和\textit{P.Bruell},Artif。因特尔。5、51-72(1974年;Zbl 0286.68047) 全文: 内政部
阿诺德·格里菲斯。 对应用于跳棋游戏的三种机器学习程序进行比较和评估。 (英语) Zbl 0279.68065号 Artif公司。智力。 5, 137-148 (1974).MSC公司:68吨15 68吨10 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Griffith},人工制品。因特尔。5、137--148(1974年;Zbl 0279.68065) 全文: 内政部
杰克·明克尔;丹尼尔·菲什曼。;詹姆斯·麦克斯基明(James R.McSkimin)。 (Q^*)算法——演绎式问题回答系统的搜索策略。 (英语) Zbl 0282.68044号 Artif公司。智力。 4, 225-243 (1973).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Minker}等人,Artif。因特尔。4225-243(1973;Zbl 0282.68044) 全文: 内政部
Masamichi岛村;弗兰克·H·乔治。 以规则为导向的问题解决方法。 (英语) Zbl 0282.68043号 Artif公司。智力。 4, 203-223 (1973).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Shimura}和\textit{F.H.George},Artif。因特尔。4203--223(1973;Zbl 0282.68043) 全文: 内政部
Jean-Pierre,Laurent 使用启发式计算极限以计算不确定形式的程序。 (英语) Zbl 0266.68019号 Artif公司。智力。 4, 69-94 (1973).MSC公司:68瓦99 65克50 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Laurent},人工制品。因特尔。4、69-94(1973年;Zbl 0266.68019) 全文: 内政部
埃莉亚娜·米尼科齐;雷蒙德·雷特 关于结果发现中线性解决策略的注释。 (英语) Zbl 0252.68049号 Artif公司。智力。 3, 175-180 (1972).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Minicoszi}和\textit{R.Reiter},Artif。因特尔。3175-180(1972年;Zbl 0252.68049) 全文: 内政部
詹姆斯·吉洛格利。 技术象棋项目。 (英语) Zbl 0241.68016号 Artif公司。智力。 3, 145-163 (1972).MSC公司:68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Gillogly},阿蒂夫。因特尔。3145-163(1972年;Zbl 0241.68016) 全文: 内政部
Lewis M.诺顿。 用启发式理论证明程序对等式谓词演算进行实验。 (英语) Zbl 0234.68035号 Artif公司。智力。 2, 261-284 (1971).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \文本{L.M.Norton},Artif。因特尔。2、261--284(1971年;Zbl 0234.68035) 全文: 内政部
Chang,C.L。;斯莱格尔,J.R。 搜索and/OR图的一种允许的优化算法。 (英语) Zbl 0227.68016号 Artif公司。智力。 2, 117-128 (1971).MSC公司:68兰特 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Chang}和\textit{J.R.Slagle},Artif。因特尔。2117--128(1971;Zbl 0227.68016) 全文: 内政部
耶茨,R.A。;拉斐尔,B。;哈特·T·P。 分辨率图。 (英语) Zbl 0207.02204号 Artif公司。智力。 1, 257-289 (1970).MSC公司:68吨15 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Yates}等人,Artif。因特尔。1257--289(1970年;Zbl 0207.02204) 全文: 内政部
Chang,C.L。 等式定理自动证明的可重调性。 (英语) Zbl 0207.02203号 Artif公司。智力。 1247-256(1970年).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Chang},艺术。因特尔。1247--256(1970;Zbl 0207.02203) 全文: 内政部
I·波尔。 启发式搜索被视为图中的路径查找。 (英语) Zbl 0206.22603号 Artif公司。智力。 1, 193-204 (1970).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.Pohl},阿蒂夫。因特尔。1193-204(1970年;兹bl 0206.22603) 全文: 内政部