霍森·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特 具有逻辑指导的认证强化学习。 (英语) Zbl 07732224号 Artif公司。智力。 322,文章ID 103949,22 p.(2023).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{H.Hasanbeig}等人,Artif。智力。322,文章ID 103949,22 p.(2023;Zbl 07732224) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;科瓦拉(Szymon Kowara);萨里特·克劳斯;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 合作并发游戏。 (英语) Zbl 07638284号 Artif公司。智力。 314,文章ID 103806,第26页(2023).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。314,文章ID 103806,26 p.(2023;Zbl 07638284) 全文: 内政部 arXiv公司
王玉恒;玛格丽特·查普曼。 风险规避自治系统:从最优控制的角度简要介绍历史和最新发展。 (英语) Zbl 07596154号 Artif公司。智力。 311,文章ID 103743,25 p.(2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}和\textit{M.P.Chapman},Artif。智力。311,文章ID 103743,25 p.(2022;Zbl 07596154) 全文: 内政部 arXiv公司
本杰明·比特纳;马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;斯特凡诺·托内塔;维克多利亚沃扎洛娃 公平过渡系统的可诊断性。 (英语) Zbl 1491.68107号 Artif公司。智力。 309,文章ID 103725,39 p.(2022).MSC公司:60年第68季度 90秒25 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{B.Bittner}等人,Artif。智力。309,文章ID 103725,39 p.(2022;Zbl 1491.68107) 全文: 内政部
贾库布·米查利辛;奥托普,简 使用循环index查询学习无限字自动机。 (英语) Zbl 07505994号 Artif公司。智力。 307,文章ID 103710,17 p.(2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaliszyn}和\textit{J.Otop},Artif。智力。307,文章ID 103710,17 p.(2022;Zbl 07505994) 全文: 内政部
托马斯·林斯比勒;马可·马拉提亚;安德烈亚斯·尼斯卡宁;约翰·沃纳(Johannes P.Wallner)。;斯特凡·沃尔特兰 基于子类复杂性分析和SAT求解的抽象辩证框架的高级算法。 (英语) Zbl 07505991号 Artif公司。智力。 307,文章ID 103697,40 p.(2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{T.Linsbichler}等人,Artif。智力。307,文章ID 103697,40 p.(2022;Zbl 07505991) 全文: 内政部
阿莱西奥·洛穆西奥;埃多尔多·皮罗瓦诺 一种用于验证概率群系统特性的反抽象技术。 (英语) Zbl 07505976号 Artif公司。智力。 305,文章ID 103666,23 p.(2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{E.Pirovano},Artif。智力。305,文章ID 103666,23 p.(2022;Zbl 07505976) 全文: 内政部 链接
克里斯特·Bäckström;彼得·琼森 用于分析状态抽象方法的框架。 (英语) Zbl 1486.68175号 Artif公司。智力。 302,文章ID 103608,39 p.(2022).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bäckström}和\textit{P.Jonsson},Artif。智力。302,文章ID 103608,39 p.(2022;Zbl 1486.68175) 全文: 内政部
萨拉斯·斯里德哈兰;斯利瓦斯塔瓦(Siddharth Srivastava);苏巴拉奥·坎巴帕蒂 使用状态抽象计算人工智能代理行为的个性化对比解释。 (英语) Zbl 1478.68389号 Artif公司。智力。 301,文章ID 103570,第19页(2021).MSC公司:68T42型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Sreedharan}等人,Artif。智力。301,文章ID 103570,19 p.(2021;Zbl 1478.68389) 全文: 内政部
Zeynep G.萨里巴特。;托马斯·艾特;彼得·舒勒 非地面答案集程序的抽象。 (英语) Zbl 1520.68023号 Artif公司。智力。 300,文章ID 103563,72 p.(2021).MSC公司:68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.G.Saribatur}等人,Artif。智力。300,文章ID 103563,72 p.(2021;Zbl 1520.68023) 全文: 内政部
弗朗西斯科·贝拉迪内利;斯特凡·德姆里 有限资源的战略推理:对可驾驭性的追求。 (英语) Zbl 1520.68183号 Artif公司。智力。 300,文章ID 103557,35 p.(2021).MSC公司:68T27型 03B44号 65年第68季度 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{S.Demri},Artif。智力。300,文章ID 103557,35 p.(2021;Zbl 1520.68183) 全文: 内政部 哈尔
玛丽亚·路易莎;萨姆·巴斯;阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;若昂·西尔瓦侯爵 基于最大可满足性的命题证明系统。 (英语) Zbl 1520.68103号 Artif公司。智力。 300,文章ID 103552,39 p.(2021).MSC公司:68兰特 20层03 65年第68季度 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Bonet}等人,Artif。智力。300,文章ID 103552,39 p.(2021;Zbl 1520.68103) 全文: 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 线性时态逻辑中本体论中介查询的一阶可重写性。 (英语) Zbl 1520.68182号 Artif公司。智力。 299,文章ID 103536,30 p.(2021).MSC公司:68T27型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,《文物》。智力。299,文章ID 103536,30 p.(2021;Zbl 1520.68182) 全文: 内政部 arXiv公司
鲍迈斯特,多萝西娅;马蒂·Järvisalo;丹尼尔·纽格鲍尔;安德烈亚斯·尼斯卡宁;约尔格·罗特 接受不完整的论证框架。 (英语) Zbl 1519.68244号 Artif公司。智力。 295,文章ID 103470,35 p.(2021).MSC公司:68T27型 65年第68季度 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Baumeister}等人,Artif。智力。295,文章ID 103470,35 p.(2021;Zbl 1519.68244) 全文: 内政部
姜桂飞;张东墨;劳伦特·佩鲁塞尔;张恒 认识GDL:一种描述和推理不完美信息游戏的逻辑。 (英语) Zbl 1519.68252号 Artif公司。智力。 294,文章ID 103453,22 p.(2021).MSC公司:68T27型 65年第68季度 60年第68季度 68立方英尺 91A27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jiang}等人,Artif。智力。294,文章ID 103453,22 p.(2021;Zbl 1519.68252) 全文: 内政部 哈尔
阿尔班·格雷斯廷;恩里科·斯卡拉 CPCES:一个规划框架,通过反例引导的细化来解决一致规划问题。 (英语) Zbl 1451.68248号 Artif公司。智力。 284,文章ID 103271,38 p.(2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grastien}和\textit{E.Scala},Artif。智力。284,文章ID 103271,38 p.(2020;Zbl 1451.68248) 全文: 内政部
乔瓦尼·阿蒙多拉;弗朗西斯科·里卡;米罗斯瓦·特鲁什琴斯基 生成硬随机布尔公式和析取逻辑程序的新模型。 (英语) Zbl 1478.68316号 Artif公司。智力。 279,文章ID 103185,26 p.(2020).MSC公司:68T20型 68N17号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,Artif。智力。279,文章ID 103185,第26页(2020;Zbl 1478.68316) 全文: 内政部 arXiv公司
沃伊切赫·贾姆罗加;米查·纳皮克;达米安·库皮耶夫斯基;乌卡斯·米库尔斯基 不完全信息下战略能力的近似验证。 (英语) 兹比尔1478.68384 Artif公司。智力。 277,文章ID 103172,30 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103172,30 p.(2019;Zbl 1478.68384) 全文: 内政部 链接
沃伊切赫·贾姆罗加;瓦迪姆·马尔沃内;阿尼埃洛·穆拉诺 天生的战略能力。 (英语) Zbl 1478.68385号 Artif公司。智力。 277,文章ID 103170,33 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 68问题85 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103170,33 p.(2019;Zbl 1478.68385) 全文: 内政部 链接
卢卡·普利纳;马蒂娜·塞德尔 2016年和2017年QBF解决方案评估(QBFEVAL’16和QBFEVEL’17)。 (英语) Zbl 1478.68332号 Artif公司。智力。 274, 224-248 (2019).MSC公司:68T20型 68T27型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{M.Seidl},Artif。智力。274、224--248(2019年;Zbl 1478.68332) 全文: 内政部
迈克尔·巴塞洛缪;Lee,Joohyng先生 具有内涵函数的一阶稳定模型语义。 (英语) Zbl 1478.68341号 Artif公司。智力。 273, 56-93 (2019).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartholomew}和\textit{J.Lee},Artif。智力。273、56-93(2019年;Zbl 1478.68341) 全文: 内政部
哈拉尔贝克;明州道特兰;托马斯·艾特 LARS:基于逻辑的流分析推理框架。 (英语) Zbl 1448.68395号 Artif公司。智力。 261, 16-70 (2018).MSC公司:68T27型 68N17号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Beck}等人,Artif。智力。261、16-70(2018年;Zbl 1448.68395) 全文: 内政部
Á. 阿尔瓦罗·托拉尔巴;卡洛斯·利纳雷斯·洛佩兹;丹尼尔·博拉乔 用于成本最优规划的符号边界抽象启发法。 (英语) Zbl 1445.68199号 Artif公司。智力。 259, 1-31 (2018).MSC公司:68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{阿尔.阿尔.托拉尔巴}等人,Artif。智力。259,1--31(2018;Zbl 1445.68199) 全文: 内政部
Cheng,Xi(西成);周敏;宋晓宇;顾,明;孙家光 并行化SMT解决:惰性分解和调解。 (英语) Zbl 1444.68169号 Artif公司。智力。 257, 127-157 (2018).MSC公司:68T20型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{X.Cheng}等人,Artif。智力。257、127--157(2018;Zbl 1444.68169) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查:用于理性验证的反应模块。 (英语) Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。248123-157(2017;Zbl 1420.68129) 全文: 内政部 链接
弗兰克·哈特;马吕斯·林道尔;阿德里安·巴林特;Bayless,山姆;霍尔格·胡斯;凯文·莱顿·布朗 可配置SAT求解器挑战(CSSC)。 (英语) Zbl 1402.68161号 Artif公司。智力。 243, 1-25 (2017).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Hutter}等人,Artif。智力。243,1--25(2017;Zbl 1402.68161) 全文: 内政部 arXiv公司
朱塞佩·德贾科莫;伊夫·莱斯佩兰斯;法比奥·帕特里齐 有界情境演算行动理论。 (英语) Zbl 1357.68227号 Artif公司。智力。 237, 172-203 (2016).MSC公司:68立方英尺 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,Artif。智力。237172-203(2016;Zbl 1357.68227) 全文: 内政部 arXiv公司 链接
弗洛里安·朗辛;马蒂娜·塞德尔;范·盖尔德,艾伦 QBF画廊:幕后。 (英语) 兹比尔1357.68209 Artif公司。智力。 237, 92-114 (2016).MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Lonsing}等人,Artif。智力。237、92——114(2016年;Zbl 1357.68209) 全文: 内政部 arXiv公司
帕纳吉奥蒂斯·库瓦罗斯;阿莱西奥·洛穆西奥 多智能体系统的参数化验证。 (英语) Zbl 1351.68294号 Artif公司。智力。 234, 152-189 (2016).MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kouvaros}和\textit{A.Lomuscio},Artif。智力。234152--189(2016;Zbl 1351.68294) 全文: 内政部
米科拉什·亚诺塔;威廉·克利伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 使用反例引导的精化来解决QBF。 (英语) Zbl 1351.68254号 Artif公司。智力。 234, 1-25 (2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}等人,人工制品。智力。234,1--25(2016;Zbl 1351.68254) 全文: 内政部
KhudaBukhsh,Ashiqur R。;徐,林;霍尔格·H·胡斯。;凯文·莱顿·布朗 SATenstein:从组件自动构建本地搜索SAT解算器。 (英语) Zbl 1351.68255号 Artif公司。智力。 232, 20-42 (2016).MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.R.KhudaBukhsh}等人,Artif。智力。232,20--42(2016;Zbl 1351.68255) 全文: 内政部 链接
朱塞佩·德贾科莫;阿方索·埃米利奥;法比奥·帕特里齐;亚历山德罗·萨埃蒂;塞巴斯蒂安·萨迪纳 代理规划程序。 (英语) Zbl 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) 全文: 内政部
沃尔夫冈·德沃亚克;马蒂·Järvisalo;约翰·彼得·沃纳;斯特凡·沃尔特兰 抽象论证的复杂敏感决策程序。 (英语) Zbl 1334.68206号 Artif公司。智力。 206, 53-78 (2014).MSC公司:68T27型 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,Artif。智力。206、53-78(2014年;Zbl 1334.68206) 全文: 内政部
罗恩·阿尔福德;乌古尔·库特;瑙,达纳;罗伯特·戈德曼。 在不确定域中为强循环规划规划聚合。 (英语) Zbl 1405.68319号 Artif公司。智力。 216, 206-232 (2014).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alford}等人,Artif。智力。216206-232(2014;Zbl 1405.68319) 全文: 内政部
米盖尔·卡里略;Rosenblueth,David A。 通过保护对克里普克模型进行CTL更新。 (英语) Zbl 1405.68180号 Artif公司。智力。 211, 51-74 (2014).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Carrillo}和\textit{D.A.Rosenblueth},Artif。智力。211、51-74(2014;Zbl 1405.68180) 全文: 内政部
梅亨·宾文努;克里斯蒂安·弗里茨;希拉·麦克莱思。 指定和计算首选计划。 (英语) Zbl 1225.68241号 Artif公司。智力。 175,编号7-8,1308-1345(2011).MSC公司:68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Bienvenu}等人,Artif。智力。175,编号7--8,1308--1345(2011;Zbl 1225.68241) 全文: 内政部
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) 全文: 内政部
阿方索·杰雷维尼(Alfonso E.Gerevini)。;帕特里克·哈斯勒姆;长,德里克;亚历山德罗·萨埃蒂;亚尼斯·迪莫普洛斯 第五届国际规划竞赛中的确定性规划:PDDL3和规划者的实验评估。 (英语) Zbl 1191.68634号 Artif公司。智力。 173,编号5-6,619-668(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Gerevini}等人,Artif。智力。173,编号5--6,619--668(2009;Zbl 1191.68634) 全文: 内政部
奇塔·巴拉尔;托马斯·艾特;马库斯·比亚雷兰德;中村、木须 代理人在动态环境中的维护目标:制定和政策建设。 (英语) Zbl 1183.68630号 Artif公司。智力。 172,编号12-13,1429-1469(2008).MSC公司:68T42型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人,Artif。智力。172,编号12--13,1429--1469(2008;Zbl 1183.68630) 全文: 内政部
亚历山大·阿提基斯;马雷克·塞尔戈特;杰里米·皮特 正式论证协议的可执行规范。 (英语) 兹比尔1168.68557 Artif公司。智力。 171,编号10-15,776-804(2007).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}等人,Artif。智力。171,编号10--15,776--804(2007;Zbl 1168.68557) 全文: 内政部
皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 部分可观测性下的强规划。 (英语) 兹比尔1131.68095 Artif公司。智力。 170,编号4-5,337-384(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bertoli}等人,Artif。智力。170,编号4--5,337--384(2006;Zbl 1131.68095) 全文: 内政部
A.西马蒂。;M.罗维里。;伯托利,P。 通过符号模型检查和启发式搜索进行一致性规划。 (英语) Zbl 1086.68591号 Artif公司。智力。 159,编号1-2,127-206(2004).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。159,编号1--2,127-206(2004;Zbl 1086.68591) 全文: 内政部
奥利弗·库茨;卡斯滕·卢茨;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 \({mathcal E})-抽象描述系统的连接。 (英语) Zbl 1085.68162号 Artif公司。智力。 156,第1期,1-73页(2004年).MSC公司:68T27型 68立方英尺 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kutz}等人,Artif。智力。156,编号1,1-73(2004年;兹bl 1085.68162) 全文: 内政部
马蒂亚斯·布罗克斯瓦尔;彼得·琼森 时间推理的点代数:算法和复杂性。 (英语) Zbl 1082.68817号 Artif公司。智力。 149,第2期,179-220(2003).MSC公司:68T27型 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Broxvall}和\textit{P.Jonsson},Artif。智力。149,第2号,179--220(2003;Zbl 1082.68817) 全文: 内政部
A.西马蒂。;M·皮斯托尔。;M.罗维里。;Traverso,P。 通过符号模型检查进行弱、强和强循环规划。 (英语) Zbl 1082.68800号 Artif公司。智力。 147,编号1-2,35-84(2003).MSC公司:68T20型 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。147,编号1--2,35-84(2003;Zbl 1082.68800) 全文: 内政部
伊恩·斯图尔特(Iain A.Stewart)。 基于代理的系统中实现和维护问题的复杂性。 (英语) Zbl 1082.68578号 Artif公司。智力。 146,第2期,175-191(2003).MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Stewart},阿蒂夫。智力。146,第2号,175--191(2003;Zbl 1082.68578) 全文: 内政部
克莱尔·狄克逊;迈克尔·费希尔;亚历山大·博洛托夫 理性代理逻辑中的条款解决。 (英语) Zbl 1015.68170号 Artif公司。智力。 139,第1期,47-89(2002).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,Artif。智力。139,第1号,47--89(2002;Zbl 1015.68170) 全文: 内政部
杰夫·萨特克利夫;克里斯蒂安·萨特纳 评估通用自动定理证明系统。 (英语) Zbl 0996.68182号 Artif公司。智力。 131,编号1-2,39-54(2001).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}和\textit{C.Suttner},Artif。智力。131,编号1-2,39-54(2001年;Zbl 0996.68182) 全文: 内政部
达斯古普塔,P。;查克拉巴蒂,P.P。;德卡,J.K。;桑卡拉纳拉亚南,S。 最小最大计算树逻辑。 (英语) Zbl 0976.68104号 Artif公司。智力。 127,第137-162号(2001年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Dasgupta}等人,Artif。智力。127,第1号,137--162(2001;Zbl 0976.68104) 全文: 内政部
Boutiler,C.公司。;R·迪尔登。;戈德斯密特,M。 带因子表示的随机动态规划。 (英语) Zbl 0948.68167号 Artif公司。智力。 121,编号1-2,49-107(2000).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Boutiler}等人,Artif。智力。121,编号1--2,49-107(2000;Zbl 0948.68167) 全文: 内政部
巴克斯,F。;卡班扎,F。 使用时序逻辑表示搜索控制知识以进行规划。 (英语) Zbl 0939.68827号 Artif公司。智力。 116,编号1-2,123-191(2000).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.巴克斯}和\textit{F.Kabanza},阿蒂夫。智力。116,编号1--2,123-191(2000;Zbl 0939.68827) 全文: 内政部
本杰明·舒尔茨;本杰明·库珀斯。 连续系统的性质证明:定性模拟和时序逻辑。 (英语) Zbl 1017.68514号 Artif公司。智力。 92,编号1-2,91-129(1997).MSC公司:60年第68季度 03B44号 65升70 PDF格式BibTeX公司 XML格式引用 \textit{B.Shults}和\textit{B.J.Kuipers},阿蒂夫。智力。92,编号1--2,91-129(1997;Zbl 1017.68514) 全文: 内政部
聂旭敏;普莱斯特德,大卫·A。 对自动定理证明中深度第一迭代深化搜索的改进。 (英语) Zbl 0689.68087号 Artif公司。智力。 41,No.2,223-235(1989).MSC公司:68页第10页 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Nie}和\textit{D.A.Plaisted},Artif。智力。41,No.2,223--235(1989;Zbl 0689.68087) 全文: 内政部
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。 信仰、意识和有限的推理。 (英语) Zbl 0634.03013号 Artif公司。智力。 34,第1号,39-76(1988). 审核人:J.Sefránek先生 MSC公司:03B45 68T99型 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}和\textit{J.Y.Halpern},Artif。智力。34,编号1,39--76(1988;Zbl 0634.03013) 全文: 内政部