佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 自知答案集编程。 (英语) Zbl 1504.68208号 Artif公司。智力。 289,文章ID 103382,18 p.(2020).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,Artif。智力。289,文章ID 103382,18 p.(2020;Zbl 1504.68208) 全文: 内政部
佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 Gelfond-Zhang聚合为命题公式。 (英语) Zbl 1478.68363号 Artif公司。智力。 274, 26-43 (2019).MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,Artif。智力。274、26-43(2019年;Zbl 1478.68363) 全文: 内政部
丹尼尔·格纳德;霍夫曼,约格 星战解耦状态空间搜索。 (英语) Zbl 1444.68172号 Artif公司。智力。 257, 24-60 (2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Gnad}和\textit{J.Hoffmann},Artif。智力。257、24-60(2018年;Zbl 1444.68172) 全文: 内政部
马塞洛·阿里纳斯;埃琳娜·博托埃娃;迭戈·卡尔瓦内斯;弗拉迪斯拉夫·里日科夫 知识库交换:OWL 2 QL案例。 (英语) Zbl 1385.68044号 Artif公司。智力。 238, 11-62 (2016).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arenas}等人,Artif。智力。238、11--62(2016;Zbl 1385.68044) 全文: 内政部 链接
巴特·博加特;乔斯特·文内肯斯;马克·德内克 固定不动点及其在知识表示中的应用。 (英语) Zbl 1343.68233号 Artif公司。智力。 224, 51-71 (2015).MSC公司:68立方英尺 03G10年 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,Artif。智力。224,51-71(2015年;兹bl 1343.68233) 全文: 内政部
卡梅尔·多姆什拉克;霍夫曼,约格;迈克尔·卡茨 红黑规划:一种新的系统方法,用于部分删除松弛。 (英语) Zbl 1328.68194号 Artif公司。智力。 221, 73-114 (2015).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Domshlak}等人,Artif。智力。221、73——114(2015年;Zbl 1328.68194) 全文: 内政部
丹尼尔·布莱斯;威廉·库欣;苏巴拉奥·坎巴帕蒂 状态无关规划图:确定性规划、非确定性规划和概率规划。 (英语) Zbl 1216.68239号 Artif公司。智力。 175,编号3-4,848-889(2011).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bryce}等人,Artif。智力。175,编号3--4,848--889(2011;Zbl 1216.68239) 全文: 内政部
埃里克·桑德沃尔 在非单调推理的早期发展中,从系统到逻辑。 (英语) Zbl 1216.68274号 Artif公司。智力。 175,第1期,416-427(2011).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{E.Sandewall},阿蒂夫。智力。175,第1号,416--427(2011;Zbl 1216.68274) 全文: 内政部
佩德罗·卡巴拉尔;保罗·E·桑托斯。 将渔夫的愚蠢之谜正式化。 (英语) Zbl 1216.68258号 Artif公司。智力。 175,第1期,346-377(2011).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}和\textit{P.E.Santos},人工制品。智力。175,第1号,346--377(2011;Zbl 1216.68258) 全文: 内政部
欧内斯特·戴维斯 盒子是怎么工作的?固体物体的定性动力学研究。 (英语) Zbl 1216.68259号 Artif公司。智力。 175,第1期,299-345(2011).MSC公司:68T27型 68T40型 70E60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Davis},阿蒂夫。智力。175,第1号,299--345(2011;Zbl 1216.68259) 全文: 内政部
沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 答案集编程中递归聚合的语义和复杂性。 (英语) Zbl 1216.68263号 Artif公司。智力。 175,第1期,278-298(2011).MSC公司:68T27型 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人,Artif。智力。175,第1号,278--298(2011;Zbl 1216.68263) 全文: 内政部 链接
迈克尔·蒂尔舍 统一的动作演算。 (英语) Zbl 1216.68277号 Artif公司。智力。 175,第1期,第120-141页(2011年).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Thielscher},阿蒂夫。智力。175,编号1,120--141(2011;Zbl 1216.68277) 全文: 内政部
安东尼斯·卡卡斯;米歇尔·洛伊索斯;罗布·米勒 \(mathcal M)模块-(mathcar E)和细化容差在解决鉴定问题中的作用。 (英语) Zbl 1216.68268号 Artif公司。智力。 175,第1期,49-78(2011).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kakas}等人,Artif。智力。175,第1号,49--78(2011;Zbl 1216.68268) 全文: 内政部
莱奥拉·摩根斯坦;希拉·麦克拉伊思。 约翰·麦卡锡的遗产。 (英语) Zbl 1216.68017号 Artif公司。智力。 175,第1期,1-24页(2011年).MSC公司:68-03 01A60型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Morgenstern}和\textit{S.A.McIlraith},Artif。智力。175,第1号,1--24(2011;Zbl 1216.68017) 全文: 内政部
桑德拉·齐勒斯;罗伯特·霍尔特(Robert C.Holte)。 在状态空间抽象中避免虚假状态的计算复杂性。 (英语) Zbl 1210.68105号 Artif公司。智力。 174,第14号,1072-1092(2010).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Zilles}和\textit{R.C.Holte},Artif。智力。174,第14号,1072--1092(2010;Zbl 1210.68105) 全文: 内政部
马克·罗伯茨;阿黛尔·豪 从规划师的表现中学习。 (英语) Zbl 1191.68640号 Artif公司。智力。 173,编号5-6,536-561(2009).MSC公司:68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Roberts}和\textit{A.Howe},Artif。智力。173,编号5--6536--561(2009;Zbl 1191.68640) 全文: 内政部
布莱·博内;赫克托·格夫纳 通过逻辑制定惩罚和奖励并通过电路计算的启发式规划。 (英语) Zbl 1183.68569号 Artif公司。智力。 172,编号12-13,1579-1604(2008).MSC公司:68T20型 68T27型 90C27型 90 C59 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonet}和\textit{H.Geffner},Artif。智力。172,编号12--131579--1604(2008;Zbl 1183.68569) 全文: 内政部 链接
迈克尔·安德森。;瓦利德·戈马;格兰特,约翰;唐·佩利斯 静态世界中单个代理的活动逻辑语义。 (英语) Zbl 1183.68593号 Artif公司。智力。 172,编号8-9,1045-1063(2008).MSC公司:68T27型 03B53号 03B60号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Anderson}等人,Artif。智力。172,编号8--9,1045--1063(2008;Zbl 1183.68593) 全文: 内政部
马克·德内克;尤金妮亚·特诺夫斯卡 归纳情境演算。 (英语) Zbl 1168.68573号 Artif公司。智力。 171,编号5-6,332-360(2007).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}和\textit{E.Ternovska},Artif。智力。171,编号5--6332--360(2007;Zbl 1168.68573) 全文: 内政部 链接
恩里科Giunchilia;Lee,Joohyng先生;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 非单调因果理论。 (英语) 兹比尔1085.68161 Artif公司。智力。 153,编号1-2,49-104(2004).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,Artif。智力。153,编号1--2,49-104(2004;Zbl 1085.68161) 全文: 内政部
欧内斯特·戴维斯;莱奥拉·摩根斯坦 导言:形式常识推理的进展。 (英语) Zbl 1085.68682号 Artif公司。智力。 153,编号1-2,1-12(2004).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Davis}和\textit{L.Morgenstern},Artif。智力。153,第1-2,1-12号(2004年;兹bl 1085.68682) 全文: 内政部
罗伯特·吉万;托马斯·迪安;马修·格雷格 马尔可夫决策过程中的等价概念和模型最小化。 (英语) Zbl 1082.68801号 Artif公司。智力。 147,编号1-2,163-223(2003).MSC公司:68T20型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Givan}等人,Artif。智力。147,编号1--2,163-223(2003;Zbl 1082.68801) 全文: 内政部
斯蒂芬·马杰西克。;迈克尔·利特曼。 基于随机可满足性的不确定性权变规划。 (英语) Zbl 1082.68807号 Artif公司。智力。 147,编号1-2119-162(2003).MSC公司:68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Majercik}和\textit{M.L.Littman},Artif。智力。147,编号1--2,119-162(2003;Zbl 1082.68807) 全文: 内政部
利凡尼迪斯;维拉哈瓦斯,伊奥安尼斯 多目标启发式状态空间规划。 (英语) Zbl 1082.68812号 Artif公司。智力。 145,编号1-2,1-32(2003).MSC公司:68T20型 90B50型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{I.Refanidis}和\textit{I.Vlahavas},Artif。智力。145,编号1--2,1--32(2003;Zbl 1082.68812) 全文: 内政部
马克·德内克;维克托·马雷克。;特鲁什琴斯基,米洛斯奥 缺省逻辑和自认知逻辑的统一语义处理。 (英语) Zbl 1010.03021号 Artif公司。智力。 143,第1期,79-122(2003).MSC公司:03B70号 68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}等人,Artif。智力。143,编号1,79-122(2003;Zbl 1010.03021) 全文: 内政部
亚尼斯·迪莫普洛斯;伯恩哈德·内贝尔;弗朗西丝卡·托尼 基于假设的默认推理论证的计算复杂性。 (英语) Zbl 1043.68097号 Artif公司。智力。 141,编号1-2,57-78(2002).MSC公司:68层37 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Dimopoulos}等人,Artif。智力。141,编号1--2,57-78(2002;Zbl 1043.68097) 全文: 内政部
弗拉基米尔·利夫希茨 答案集编程和计划生成。 (英语) Zbl 0995.68020号 Artif公司。智力。 138,编号1-2,39-54(2002).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz},阿蒂夫。智力。138,编号1--2,39-54(2002;Zbl 0995.68020) 全文: 内政部
迈克尔·盖尔芬德;尼古拉·利昂 逻辑编程和知识表示——A-Prolog视角。 (英语) Zbl 0995.68022号 Artif公司。智力。 138,编号1-2,3-38(2002).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{N.Leone},Artif。智力。138,编号1--2,3--38(2002;Zbl 0995.68022) 全文: 内政部
阮宣龙;苏巴拉奥·坎巴帕蒂;罗密欧·S·奈根达。 规划图是通过状态空间和CSP搜索导出规划综合启发式的基础。 (英语) Zbl 0984.68140号 Artif公司。智力。 135,编号1-2,73-123(2002).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Nguyen}等人,Artif。智力。135,编号1--2,73-123(2002;Zbl 0984.68140) 全文: 内政部
约翰·霍蒂。 怀疑和浮躁的结论。 (英语) Zbl 0984.68144号 Artif公司。智力。 135,编号1-2,55-72(2002).MSC公司:68T27型 03B80号 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Horty},Artif(阿蒂夫)。智力。135,编号1--2,55-72(2002;Zbl 0984.68144) 全文: 内政部
迈克尔·蒂尔舍 限定问题:异常模型问题的解决方案。 (英语) Zbl 0996.68186号 Artif公司。智力。 131,第1-2、1-37号(2001年).MSC公司:68T20型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Thielscher},阿蒂夫。智力。131,编号1--2,1--37(2001;Zbl 0996.68186) 全文: 内政部
约翰·波洛克。 论证程度可变的可推翻推理。 (英语) Zbl 0984.68154号 Artif公司。智力。 133,编号1-2,233-282(2001).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Pollock},阿蒂夫。智力。133,编号1--2,233--282(2001;Zbl 0984.68154) 全文: 内政部
潘明·邓;儿子Tran Cao 一种基于论证的推理方法。 (英语) Zbl 0984.68153号 Artif公司。智力。 133,编号1-2,35-85(2001).MSC公司:68层37 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Dung}和\textit{T.C.Son},Artif。智力。133,编号1--2,35-85(2001;Zbl 0984.68153) 全文: 内政部
罗恩·布拉夫曼(Ronen I。Brafman)。;尼尔·弗里德曼 违约的决策理论基础。 (英语) Zbl 0984.68139号 Artif公司。智力。 133,编号1-2,1-33(2001).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.I.布拉夫曼}和\textit{N.弗里德曼},阿蒂夫。智力。133,编号1--2,1-33(2001;Zbl 0984.68139) 全文: 内政部
博内,B。;Geffner,H。 规划是启发式搜索。 (英语) Zbl 0971.68146号 Artif公司。智力。 129,第1-2号,第5-33号(2001年).MSC公司:68T20型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonet}和\textit{H.Geffner},Artif。智力。129,编号1--2,5--33(2001;Zbl 0971.68146) 全文: 内政部
艾特,T。;卢卡西维茨,T。 基于条件知识库的默认推理:复杂性和可处理案例。 (英语) Zbl 0952.68139号 Artif公司。智力。 124,第2期,169-241(2000).MSC公司:68层37 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{T.Lukasiewicz},Artif。智力。124,第2号,169--241(2000;Zbl 0952.68139) 全文: 内政部
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) 全文: 内政部
约翰·波洛克。 自治代理中目标回归规划的逻辑基础。 (英语) 兹比尔0910.68198 Artif公司。智力。 106,第2期,267-334(1998年).MSC公司:68T20型 68T01型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Pollock},阿蒂夫。智力。106,第2号,267--334(1998;Zbl 0910.68198) 全文: 内政部
Arzi-Gonczarowski,Z。;D.莱曼。 从环境到表征——人工感知的数学理论。 (英语) Zbl 0909.68179号 Artif公司。智力。 102,第2期,187-247(1998).MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Arzi-Gonczarowski}和\textit{D.Lehmann},Artif。智力。102,第2号,187--247(1998;Zbl 0909.68179) 全文: 内政部
莱奥拉·摩根斯坦 继承来自时代:将非单调技术应用于工业问题。 (英语) Zbl 0910.68205号 Artif公司。智力。 103,编号1-2,237-271(1998).MSC公司:68层35 PDF格式BibTeX公司 XML格式引用 \textit{L.Morgenstern},阿蒂夫。智力。103,编号1-2237-271(1998年;Zbl 0910.68205) 全文: 内政部
亚历山大·波奇曼 论缺省推理与模态非单调推理的关系。 (英语) Zbl 0908.03027号 Artif公司。智力。 101,第1-2、1-34号(1998年).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bochman},阿蒂夫。智力。101,编号1--2,1-34(1998;Zbl 0908.03027) 全文: 内政部
理查德·霍沃思。 解读一个动态和不确定的世界:基于任务的控制。 (英语) Zbl 0906.68177号 Artif公司。智力。 100,第1-2号,第5-86号(1998年).MSC公司:68单位10 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Howarth},阿蒂夫。智力。100,编号1--2,5--86(1998;Zbl 0906.68177) 全文: 内政部
托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 缺省理论的语义和复杂性。 (英语) Zbl 1017.03515号 Artif公司。智力。 90,第1-2号,177-223(1997).MSC公司:03B70号 68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。90,编号1--2,177-223(1997;Zbl 1017.03515) 全文: 内政部
吉安尼·阿马蒂;路易吉亚·卡卢奇·埃利罗(Luigia Carlucci Aiello);菲奥拉·皮里 无法定义和常识性推理。 (英语) Zbl 1017.68538号 Artif公司。智力。 93,第1-2号,169-199(1997).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{G.Amati}等人,Artif。智力。93,No.1--2,169--199(1997;Zbl 1017.68538) 全文: 内政部 欧洲DML
丹尼尔·施瓦茨(Daniel G.Schwartz)。 使用限定三段论进行动态推理。 (英语) Zbl 1017.03516号 Artif公司。智力。 93,编号1-2,103-167(1997).MSC公司:03B70号 03B60号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Schwartz},阿蒂夫。智力。93,编号1--2,103-167(1997;Zbl 1017.03516) 全文: 内政部
Bondarenko,A。;邓,P.M。;科瓦尔斯基,R.A。;F.托尼。 默认推理的抽象论证理论方法。 (英语) Zbl 1017.03511号 Artif公司。智力。 93,第1-2号,第63-101页(1997年).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bondarenko}等人,Artif。智力。93,编号1--2,63-101(1997;Zbl 1017.03511) 全文: 内政部
迈克尔·泰尔舍尔 分枝和因果关系。 (英语) Zbl 1018.03514号 Artif公司。智力。 89,编号1-2317-364(1997).MSC公司:03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Thielscher},阿蒂夫。智力。89,编号1--2,317--364(1997;Zbl 1018.03514) 全文: 内政部
恩里科Giunchilia;G.Neelakantan Kartha;弗拉基米尔·利夫希茨 代表行动:不确定性和后果。 (英语) Zbl 0894.68140号 Artif公司。智力。 95,第2期,409-438(1997).MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,Artif。智力。95,第2号,409--438(1997;Zbl 0894.68140) 全文: 内政部
法希姆·巴克斯;亚当·J·格罗夫。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;达芙妮·科勒 从统计知识库到信念程度。 (英语) Zbl 1506.68146号 Artif公司。智力。 87,编号1-2,75-143(1996).MSC公司:68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{F.Bacchus}等人,Artif。智力。87,编号1--2,75-143(1996;Zbl 1506.68146) 全文: 内政部 arXiv公司
格里戈里·施瓦兹 关于将默认逻辑嵌入摩尔的自认知逻辑。 (英语) Zbl 1523.68094号 Artif公司。智力。 80,第2期,349-359(1996).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Schwarz},阿蒂夫。智力。80,第2号,349--359(1996;Zbl 1523.68094) 全文: 内政部
彼得·哈德维 表示计划的时间、机会和行动的逻辑。 (英语) Zbl 1506.68139号 Artif公司。智力。 80,第243-308号(1996年).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Haddawy},阿蒂夫。智力。80,第2号,243--308(1996;Zbl 1506.68139) 全文: 内政部
莫伊斯·戈德斯密特;朱迪亚·珀尔 默认推理、信念修正和因果建模的定性概率。 (英语) 兹比尔1497.68457 Artif公司。智力。 84,第1-2号,第57-112页(1996年).MSC公司:68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Goldszmidt}和\textit{J.Pearl},Artif。智力。84,编号1--2,57-112(1996;Zbl 1497.68457) 全文: 内政部
苏巴拉奥·坎巴帕蒂;Nau,Dana S。 关于规划中模态真实性标准的性质和作用。 (英语) Zbl 1508.68336号 Artif公司。智力。 82,编号1-2,129-155(1996).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kambhampati}和\textit{D.S.Nau},Artif。智力。82,第1-2129-155号(1996年;兹bl 1508.68336) 全文: 内政部
丽娜·德希特;阿维·德希特 用于真理维护的结构驱动算法。 (英语) Zbl 1508.68358号 Artif公司。智力。 82,第1-2号,第1-20号(1996年).MSC公司:68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Dechter}和\textit{A.Dechter,Artif。智力。82,编号1--2,1--20(1996;Zbl 1508.68358) 全文: 内政部
格里戈里·施瓦兹 寻找“真正的”知识逻辑:非单调视角。 (英语) Zbl 1014.03507号 Artif公司。智力。 79,第1号,39-63(1995).MSC公司:03B42号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Schwarz},阿蒂夫。智力。79,第1号,39--63(1995;Zbl 1014.03507) 全文: 内政部
潘明·邓 论据的可接受性及其在非单调推理、逻辑编程和人与人博弈中的基本作用。 (英语) Zbl 1013.68556号 Artif公司。智力。 77,第2期,321-357(1995).MSC公司:68T27型 03B60号 91A06型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Dung},Artif(阿蒂夫)。智力。77,第2号,321--357(1995;Zbl 1013.68556) 全文: 内政部
沙纳汉、默里 事件的详细计算。 (英语) Zbl 1013.68559号 Artif公司。智力。 77,第2期,249-284(1995).MSC公司:68立方英尺 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{M.Shanahan},Artif。智力。77,编号2249-284(1995年;兹bl 1013.68559) 全文: 内政部
库特鲁汉·埃罗尔;Nau,Dana S。;苏布拉曼尼亚,V.S。 域相关规划的复杂性、可判定性和不可判定性结果。 (英语) Zbl 1013.68548号 Artif公司。智力。 76,编号1-2,75-88(1995).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Erol}等人,Artif。智力。76,编号1--2,75-88(1995;Zbl 1013.68548) 全文: 内政部
李丽武 可能的世界语义和自认知推理。 (英语) Zbl 0820.68070号 Artif公司。智力。 71,第2期,281-320(1994年).MSC公司:68问题55 03B45 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{L.Li},Artif。智力。71,第2号,281--320(1994;Zbl 0820.68070) 全文: 内政部
林恩·安德里亚·斯坦因;莱奥拉·摩根斯坦 动机行为理论:一种因果推理的形式理论。 (英语) Zbl 0938.68839号 Artif公司。智力。 71,第1期,第1-42页(1994年).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Stein}和\textit{L.Morgenstern},Artif。智力。71,第1号,1--42(1994;Zbl 0938.68839) 全文: 内政部 链接
G.Neelakantan Kartha 两个反例与贝克处理框架问题的方法有关。 (英语) Zbl 0938.68838号 Artif公司。智力。 69,第1-2号,379-391(1994).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.N.Kartha},阿蒂夫。智力。69,编号1--2,379--391(1994;Zbl 0938.68838) 全文: 内政部
格里戈里·施瓦兹;特鲁什琴斯基,米洛斯奥 最小知识问题:一种新方法。 (英语) Zbl 0820.68115号 Artif公司。智力。 67,第1期,113-141(1994). 审核人:N.Zlatareva(新不列颠) MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Schwarz}和\textit{M.Truszczynski},阿蒂夫。智力。67,编号1,113--141(1994;Zbl 0820.68115) 全文: 内政部
安东尼·巴雷特;丹尼尔·维尔德(Daniel S.Weld)。 部分订单计划:评估可能的效率收益。 (英语) Zbl 0807.68080号 Artif公司。智力。 67,第1号,71-112(1994).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Barrett}和\textit{D.S.Weld},Artif。智力。67,编号1,71--112(1994;Zbl 0807.68080) 全文: 内政部
德克·奥斯顿;Raymond J.穆尼。 结合分析和实证方法的理论完善。 (英语) Zbl 0807.68089号 Artif公司。智力。 66,No.2,273-309(1994).MSC公司:68立方英尺 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Ourston}和\textit{R.J.Mooney},Artif。智力。66,No.2,273--309(1994;Zbl 0807.68089) 全文: 内政部
史蒂夫·汉克斯;德鲁·麦克德莫特 建模一个动态和不确定的世界。一: 关于变化的符号和概率推理。 (英语) Zbl 0803.68121号 Artif公司。智力。 66,第1期,1-55页(1994年).MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Hanks}和\textit{D.McDermott},Artif。智力。66,编号1,1-55(1994;Zbl 0803.68121) 全文: 内政部 OA许可证
罗伯特·C·摩尔。 重温自认知逻辑。 (英语) Zbl 1507.68013号 Artif公司。智力。 59,第1-2号,第27-30号(1993年).MSC公司:68-03 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{R.C.Moore},Artif。智力。59,编号1--2,27-30(1993;Zbl 1507.68013) 全文: 内政部
约翰·麦卡锡 限制的历史。 (英语) Zbl 1507.68011号 Artif公司。智力。 59,编号1-2,23-26(1993).MSC公司:68-03 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.麦卡锡},阿蒂夫。智力。59,编号1--2,23-26(1993;Zbl 1507.68011) 全文: 内政部 OA许可证
大卫·普尔 概率Horn诱拐和贝叶斯网络。 (英语) Zbl 0792.68176号 Artif公司。智力。 64,第1号,81-129(1993).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Poole},Artif(艺术)。智力。64,第1号,81--129(1993;Zbl 0792.68176) 全文: 内政部
约翰·波洛克。 如何合理地推理。 (英语) Zbl 0763.68056号 Artif公司。智力。 57,第1期,第1-42页(1992年).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Pollock},阿蒂夫。智力。57,第1号,1--42(1992;Zbl 0763.68056) 全文: 内政部
林方珍;约夫·肖姆 知识逻辑和合理假设。 (英语) Zbl 0763.68060号 Artif公司。智力。 57,编号2-3,271-289(1992).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和\textit{Y.Shoham},人工制品。智力。57,编号2--3,271--289(1992;Zbl 0763.68060) 全文: 内政部
托马斯·艾特;乔治·戈特洛布 命题知识库修订、更新和反事实的复杂性。 (英语) Zbl 0763.68038号 Artif公司。智力。 57,编号2-3,227-270(1992).MSC公司:65年第68季度 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{G.Gottlob},Artif。智力。57,编号2-3227-270(1992年;Zbl 0763.68038) 全文: 内政部
纳雷什·古普塔;Nau,Dana S。 关于区块世界规划的复杂性。 (英语) Zbl 0785.68046号 Artif公司。智力。 56,编号2-3,223-254(1992).MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gupta}和\textit{D.S.Nau},Artif。智力。56,编号2--3,223--254(1992;Zbl 0785.68046) 全文: 内政部
丹尼尔·莱曼;梅纳赫姆·马吉多 有条件的知识库需要什么? (英语) Zbl 0762.68057号 Artif公司。智力。 55,第1期,1-60页(1992年); 勘误表同上,68,第2441号(1994年)。MSC公司:68立方英尺 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Lehmann}和\textit{M.Magidor},阿蒂夫。智力。55,编号1,1--60(1992;Zbl 0762.68057) 全文: 内政部
赫克托·杰夫纳;珀尔,朱迪亚 条件蕴涵:桥接两种默认推理方法。 (英语) Zbl 1193.68235号 Artif公司。智力。 53,No.2-3,209-244(1992).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Geffner}和\textit{J.Pearl},Artif。智力。53,编号2--3,209--244(1992;Zbl 1193.68235) 全文: 内政部
吉列尔莫·西马里。;罗纳德·路易(Ronald P.Loui)。 不可行推理的数学处理及其实现。 (英语) Zbl 1193.68238号 Artif公司。智力。 53,编号2-3,125-157(1992).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.R.Simari}和\textit{R.P.Loui},Artif。智力。53,编号2--3,125-157(1992;Zbl 1193.68238) 全文: 内政部
大卫·W·埃瑟林顿。;萨里特·克劳斯;唐纳德·佩利斯 非单调性和推理范围。 (英语) Zbl 0753.03012号 Artif公司。智力。 52,第3期,221-261(1991). 审核人:D.Makinson(阿夫雷镇) MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.W.Etheringto}等人,Artif。智力。52,第3号,221--261(1991;Zbl 0753.03012) 全文: 内政部
德鲁·麦克德莫特 理性维护的一般框架。 (英语) Zbl 0764.68155号 Artif公司。智力。 50,第3期,289-329(1991).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.McDermott},阿蒂夫。智力。50,第3号,289--329(1991;Zbl 0764.68155) 全文: 内政部
大卫·普尔 知识对信念的影响:条件、特异性和默认推理中的彩票悖论。 (英语) Zbl 0737.68074号 Artif公司。智力。 49,编号1-3,281-307(1991).MSC公司:68吨15 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Poole},Artif(艺术)。智力。49,编号1--3,281--307(1991;Zbl 0737.68074) 全文: 内政部
乔恩·多伊尔;迈克尔·P·威尔曼。 基于普遍偏好的违约理论的障碍。 (英语) Zbl 0736.68069号 Artif公司。智力。 49,编号1-3,97-128(1991).MSC公司:68吨15 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Doyle}和\textit{M.P.Wellman},人工制品。智力。49,编号1--3,97-128(1991;Zbl 0736.68069) 全文: 内政部
Tom Bylander;院长Allemang;迈克尔·坦纳(Michael C.Tanner)。;约翰·R·约瑟夫森。 诱拐的计算复杂性。 (英语) 兹比尔0737.68076 Artif公司。智力。 49,编号1-3,25-60(1991).MSC公司:68T20型 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Bylander}等人,Artif。智力。49,编号1--3,25-60(1991;Zbl 0737.68076) 全文: 内政部
安德鲁·贝克(Andrew B.Baker)。 情境演算框架下的非单调推理。 (英语) 兹伯利0749.03017 Artif公司。智力。 49,编号1-3,5-23(1991). 审核人:I.Niemelä(埃斯波) MSC公司:03B80号 03B60号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Baker},阿蒂夫。智力。49,编号1--3,5--23(1991;Zbl 0749.03017) 全文: 内政部 OA许可证
弗拉基米尔·利夫希茨 情境空间中的框架。 (英语) Zbl 0743.68122号 Artif公司。智力。 46,No.3,365-376(1990). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:68立方英尺 68T20型 68T27型 03B80号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz},阿蒂夫。智力。46,第3号,365-376(1990;Zbl 0743.68122) 全文: 内政部
萨里特·克劳斯;丹尼尔·莱曼;梅纳赫姆·马吉多 非单调推理、优先模型和累积逻辑。 (英语) Zbl 0782.03012号 Artif公司。智力。 44,No.1-2,167-207(1990).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kraus}等人,Artif。智力。44,编号1-2167-207(1990年;Zbl 0782.03012) 全文: 内政部 arXiv公司
Hector J.列夫斯克。 我所知道的是:关于自认知逻辑的研究。 (英语) Zbl 0724.03019号 Artif公司。智力。 42,编号2-3,263-309(1990). 审核人:S.Gottwald(莱比锡) MSC公司:03B60号 03B45 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Levsque},人工制品。智力。42,编号2--3,263--309(1990;Zbl 0724.03019) 全文: 内政部
约翰·霍蒂。;里士满·H·托马森。;大卫·S·图雷茨基。 非单调语义网络中的怀疑论继承。 (英语) Zbl 0717.68085号 Artif公司。智力。 42,编号2-3,311-348(1990).MSC公司:68吨15 68立方英尺 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Horty}等人,Artif。智力。42,编号2--3,311--348(1990;Zbl 0717.68085) 全文: 内政部
查尔斯·埃尔坎 非单调真理维持系统的合理重构。 (英语) Zbl 0717.68081号 Artif公司。智力。 43,No.2,219-234(1990).MSC公司:68吨15 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Elkan},阿蒂夫。智力。43,编号219-234(1990年;兹bl 0717.68081) 全文: 内政部
马修·金斯伯格。 外切定理证明器。 (英语) Zbl 0677.68096号 Artif公司。智力。 39,第2期,209-230(1989).MSC公司:68吨15 03B35型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.金斯伯格},阿蒂夫。智力。39,第2号,209--230(1989;Zbl 0677.68096) 全文: 内政部
格里高里·施瓦茨。 命题非单调逻辑中的不动点。 (英语) Zbl 0664.03023号 Artif公司。智力。 38,第2期,199-206(1989). 审核人:L.州 MSC公司:03B60号 68T99型 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{G.F.Shvarts},阿蒂夫。智力。38,第2号,199--206(1989;Zbl 0664.03023) 全文: 内政部
Przymusinski,Teodor C。 计算边界的算法。 (英语) Zbl 0663.68098号 Artif公司。智力。 38,No.1,49-73(1989).MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Przymusinski},阿蒂夫。智力。38,编号1,49--73(1989;Zbl 0663.68098) 全文: 内政部
迈克尔·盖尔芬德;哈利娜·普尔兹穆森斯卡;特奥多尔·普尔兹穆森斯基 论限制与否定作为失败的关系。 (英语) Zbl 0663.68097号 Artif公司。智力。 38,第1期,75-94(1989).MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}等人,Artif。智力。38,第1号,75--94(1989;Zbl 0663.68097) 全文: 内政部
约夫·肖姆 时间无知:非单调时间推理的实验。 (英语) Zbl 0662.68093号 Artif公司。智力。 36,第3号,279-331(1988). 审核人:谢夫兰内克 MSC公司:68T99型 03B45 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shoham},阿蒂夫。智力。36,第3号,279--331(1988;Zbl 0662.68093) 全文: 内政部
唐纳德·佩利斯 自动限定。 (英语) Zbl 0648.68108号 Artif公司。智力。 36,第2期,223-236(1988年).MSC公司:68T99型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Perlis},人工制品。智力。36,第2号,223--236(1988;Zbl 0648.68108) 全文: 内政部
大卫·普尔 默认推理的逻辑框架。 (英语) Zbl 0647.68094号 Artif公司。智力。 36,第1期,第27-47页(1988年).MSC公司:68吨15 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{D.Poole},Artif(艺术)。智力。36,编号1,27-47(1988;Zbl 0647.68094) 全文: 内政部
Joáo P.马丁斯。;斯图亚特·夏皮罗。 信念修正模型。 (英语) Zbl 0646.68109号 Artif公司。智力。 35,第1号,25-79(1988).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Martins}和\textit{S.C.Shapiro},Artif。智力。35,编号1,25--79(1988;Zbl 0646.68109) 全文: 内政部
詹姆斯·德尔格兰德。 基于一阶条件逻辑的默认推理方法:修订报告。 (英语) Zbl 0646.03015号 Artif公司。智力。 36,No.1,63-90(1988). 审核人:E.梅利斯 MSC公司:03B45 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande},阿蒂夫。智力。36,编号1,63--90(1988;Zbl 0646.03015) 全文: 内政部
马修·金斯伯格。;大卫·E·史密斯。 推理行动。一: 一种可能的世界方法。 (英语) Zbl 0645.68109号 Artif公司。智力。 35,第2期,165-195(1988).MSC公司:68T99型 68吨15 03B45 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Ginsberg}和\textit{D.E.Smith},人工制品。智力。35,第2号,165--195(1988;Zbl 0645.68109) 全文: 内政部
托马斯·伊米林斯基 将默认值转换为限定值的结果。 (英语) Zbl 0667.03014号 Artif公司。智力。 32, 131-146 (1987).MSC公司:03B60号 68T99型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Imielinski},人工制品。智力。32、131--146(1987年;Zbl 0667.03014) 全文: 内政部
史蒂夫·汉克斯;德鲁·麦克德莫特 非单调逻辑和时间投影。 (英语) Zbl 0654.68107号 Artif公司。智力。 33, 379-412 (1987). 审核人:M.Suchenek先生 MSC公司:68T99型 03B60号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Hanks}和\textit{D.McDermott},Artif。智力。33、379--412(1987年;Zbl 0654.68107) 全文: 内政部
詹姆斯·德尔格兰德。 原型性质的一阶条件逻辑。 (英语) Zbl 0654.68106号 Artif公司。智力。 33, 105-130 (1987). 审核人:萨伊达 MSC公司:68T99型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande},阿蒂夫。智力。33、105-130(1987年;Zbl 0654.68106) 全文: 内政部
大卫·W·埃瑟林顿。 形式化非单调推理系统。 (英语) Zbl 0638.68100号 Artif公司。智力。 31, 41-85 (1987). 审核人:M.A.苏切内克 MSC公司:68吨15 03B60号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.W.Etheringto},阿蒂夫。智力。31,41-85(1987年;兹bl 0638.68100) 全文: 内政部