川本优助;佐藤,铁杉;Kohei Suenaga公司 可靠且相对完整的信念——统计假设测试程序的霍尔逻辑。 (英语) Zbl 07803984号 Artif公司。智力。 326,文章ID 104045,33 p.(2024).MSC公司:第68页第27页 03B42号 03B70号 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kawamoto}等人,Artif。智力。326,文章ID 104045,33 p.(2024;Zbl 07803984) 全文: 内政部 arXiv公司
瓦夏克·贝勒 分析不确定性下的广义规划。 (英语) Zbl 07505990号 Artif公司。智力。 307,文章ID 103696,32 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \文本{V.Belle},Artif。智力。307,文章ID 103696,32 p.(2022;Zbl 07505990) 全文: 内政部
卡亚·德乌瑟;帕维尔·瑙莫夫 关于有界重新调用计划的组成。 (英语) Zbl 1504.68237号 Artif公司。智力。 289,文章ID 103399,19 p.(2020).MSC公司:68T42型 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{K.Deuser}和\textit{P.Naumov},人工制品。智力。289,文章ID 103399,19 p.(2020;Zbl 1504.68237) 全文: 内政部 链接
罗恩·布拉夫曼(Ronen I。Brafman)。;沙尼,盖伊 基于回归的在线信念跟踪应急计划。 (英语) Zbl 1392.68383号 Artif公司。智力。 241, 131-152 (2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.I.布拉夫曼}和\textit{G.沙尼},阿蒂夫。智力。24131-152(2016;Zbl 1392.68383) 全文: 内政部
林方珍 一阶逻辑中程序的形式化,具有离散线性顺序。 (英语) Zbl 1352.68065号 Artif公司。智力。 235, 1-25 (2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin},人工制品。智力。235,1--25(2016;Zbl 1352.68065) 全文: 内政部
朱塞佩·德贾科莫;阿方索·埃米利奥·杰雷维尼;法比奥·帕特里齐;亚历山德罗·萨蒂;塞巴斯蒂安·萨迪纳 代理规划程序。 (英语) 兹比尔1344.68245 Artif公司。智力。 231, 64-106 (2016).MSC公司:68T42型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,Artif。智力。231、64-106(2016年;Zbl 1344.68245) 全文: 内政部
悉达赫·斯里瓦斯塔瓦;尼尔·伊梅尔曼;什洛莫Zilberstein 循环计划的适用条件:可计算性结果和算法。 (英语) 兹比尔1270.68277 Artif公司。智力。 191-192, 1-19 (2012).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人,Artif。智力。191-192,1-19(2012;Zbl 1270.68277) 全文: 内政部 链接
彼得罗·巴罗尼;马西米利亚诺·贾科明;吉奥瓦尼·吉达 自我稳定失败状态计算:处理多智能体系统中的冲突管理。 (英语) Zbl 1132.68687号 Artif公司。智力。 165,第2期,187-259(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baroni}等人,Artif。智力。165,第2号,187--259(2005;Zbl 1132.68687) 全文: 内政部
卢卡控制台;克劳迪娅·皮卡迪;玛丽娜·里巴多 系统诊断的过程代数。 (英语) Zbl 1043.68076号 Artif公司。智力。 142,第1期,第19-51页(2002年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Console}等人,人工制品。智力。142,第1号,19-51(2002;Zbl 1043.68076) 全文: 内政部
德贾科莫,G。;Lespérance,Y。;H.J.列夫斯克。 ConGolog,一种基于情境演算的并发编程语言。 (英语) Zbl 0948.68175号 Artif公司。智力。 121,编号1-2,109-169(2000).MSC公司:第68页第40页 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,Artif。智力。121,编号1--2,109--169(2000;Zbl 0948.68175) 全文: 内政部
陈晓军;朱塞佩·德·贾科莫 关于不确定性和并发操作的推理:进程代数方法。 (英语) Zbl 0910.68075号 Artif公司。智力。 107,第1期,63-98(1999).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.J.Chen}和\textit{G.de Giacomo},Artif。智力。107,编号1,63--98(1999;Zbl 0910.68075) 全文: 内政部
苏巴拉奥·坎巴帕蒂 智能回溯和失败驱动解释学习在约束满足和规划中的关系。 (英语) Zbl 0909.68139号 Artif公司。智力。 105,第1-2号,161-208(1998).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kambhampati},阿蒂夫。智力。105,第1-2161-208号(1998年;Zbl 0909.68139) 全文: 内政部
萨里特·克劳斯;丹尼尔·莱曼;梅纳赫姆·马吉多 非单调推理、优先模型和累积逻辑。 (英语) Zbl 0782.03012号 Artif公司。智力。 44,No.1-2,167-207(1990).MSC公司:03B60号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{S.Kraus}等人,Artif。智力。44,编号1--2,167-207(1990;Zbl 0782.03012) 全文: 内政部 arXiv公司
纳鸿·德肖维茨 合成编程。 (英语) Zbl 0557.68014号 Artif公司。智力。 25, 323-373 (1985).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz},人工制品。智力。25323--373(1985;Zbl 0557.68014) 全文: 内政部
艾伦·K·麦克沃思。 关系网络的一致性。 (英语) Zbl 0341.68061号 Artif公司。智力。 8, 99-118 (1977).MSC公司:第68页第15页 68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Mackworth},阿蒂夫。智力。8、99-118(1977年;Zbl 0341.68061) 全文: 内政部
曼娜,佐哈尔;理查德·沃尔丁格 程序综合中的知识和推理。 (英语) Zbl 0303.68012号 Artif公司。智力。 6, 175-208 (1975).MSC公司:68号01 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},Artif。智力。6175-208(1975年;Zbl 0303.68012) 全文: 内政部
瓦尔丁格,R.J。;莱维特,K.N。 对程序进行推理。 (英语) Zbl 0293.68021号 Artif公司。智力。 5, 235-316 (1974).MSC公司:68号01 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Waldinger}和\textit{K.N.Levit},Artif。智力。5235-316(1974年;Zbl 0293.68021) 全文: 内政部