穆罕默德·阿洛马里;李方军;大卫·C·霍格。;安东尼·科恩(Anthony G.Cohn)。 自主机器人的在线感知学习和自然语言获取。 (英语) Zbl 07482896号 Artif公司。智力。 303,文章ID 103637,32 p.(2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{M.Alomari}等人,Artif。智力。303,文章ID 103637,32 p.(2022;Zbl 07482896) 全文: 内政部 OA许可证
保罗·达克沃思;大卫·C·霍格。;安东尼·科恩(Anthony G.Cohn)。 智能移动机器人的无监督人类活动分析。 (英语) Zbl 1478.68376号 Artif公司。智力。 270, 67-92 (2019).MSC公司:68T40型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Duckworth}等人,Artif。智力。270、67-92(2019年;Zbl 1478.68376) 全文: 内政部 OA许可证
佩德罗·卡巴拉尔;保罗·E·桑托斯。 字符串循环作为孔的定性空间表示。 (英语) Zbl 1387.68213号 Artif公司。智力。 238, 1-10 (2016).MSC公司:68立方英尺 68T20型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}和\textit{P.E.Santos},Artif。智力。2381-10(2016年;Zbl 1387.68213) 全文: 内政部
李三江;龙志国;刘伟明;马特·杜卡姆;都是,艾伦 冗余拓扑约束。 (英语) Zbl 1343.68234号 Artif公司。智力。 225, 51-76 (2015).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人,Artif。智力。225,51-76(2015年;兹bl 1343.68234) 全文: 内政部 arXiv公司
史蒂文·肖卡特;李三江 使用凸区域实现RCC8网络。 (英语) Zbl 1319.68212号 Artif公司。智力。 218, 74-105 (2015).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}和\textit{S.Li},Artif。智力。21874--105(2015;Zbl 1319.68212) 全文: 内政部 arXiv公司
罗马人孔查科夫;伊恩·普拉特·哈特曼;扎卡里亚舍夫,迈克尔 欧几里德空间中带(mathcal{RCC}8\)和连通约束的空间推理。 (英语) Zbl 1408.68138号 Artif公司。智力。 217, 43-75 (2014).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kontchakov}等人,Artif。智力。217、43——75(2014年;Zbl 1408.68138) 全文: 内政部
李三江;刘伟明;王生生 定性约束满足问题:具有里程碑的扩展框架。 (英语) Zbl 1334.68208号 Artif公司。智力。 201, 32-58 (2013).MSC公司:68T27型 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人,Artif。智力。201,32-58(2013;Zbl 1334.68208) 全文: 内政部
蒂尔·莫萨科夫斯基;莱因哈德·莫拉茨 关于定向点相对方向的定性推理。 (英语) Zbl 1267.68229号 Artif公司。智力。 180-181, 34-45 (2012). 审核人:John G.Stell(利兹) MSC公司:68立方英尺 68T27型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}和\textit{R.Moratz},Artif。智力。180-181,34-45(2012;Zbl 1267.68229) 全文: 内政部
莱因哈德·莫拉茨;多米尼克·吕克;蒂尔·莫萨科夫斯基 关于定向直线段的定性空间推理的浓缩语义。 (英语) Zbl 1252.68278号 Artif公司。智力。 175,编号16-17,2099-2127(2011).MSC公司:68T27型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{R.Moratz}等人,人工制品。智力。175,编号16--17,2099--2127(2011;Zbl 1252.68278) 全文: 内政部
佩德罗·卡巴拉尔;保罗·E·桑托斯。 将渔夫的愚蠢之谜正式化。 (英语) Zbl 1216.68258号 Artif公司。智力。 175,第1期,346-377(2011).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}和\textit{P.E.Santos},Artif。智力。175,第1号,346--377(2011;Zbl 1216.68258) 全文: 内政部
刘伟明;张晓彤;李三江;Ying,明生 推理扩展对象之间的基本方向。 (英语) 兹比尔1205.68399 Artif公司。智力。 174,编号12-13,951-983(2010).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人,Artif。智力。174,编号12--13,951--983(2010;Zbl 1205.68399) 全文: 内政部 arXiv公司
约翰·格兰特;弗朗西斯科·帕里西;奥斯汀帕克;苏布拉曼尼亚,V.S。 一种用于概率时空逻辑的AGM型信念修正机制。 (英语) Zbl 1185.68673号 Artif公司。智力。 174,第1期,72-104(2010).MSC公司:68T27型 03B42号 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}等人,Artif。智力。174,编号1,72--104(2010;Zbl 1185.68673) 全文: 内政部
托尔斯滕·哈曼;温特,迈克尔;迈克尔·格鲁宁格 Stonian p-正交格:单拓扑(RT_{0})的一种新方法。 (英语) Zbl 1190.68061号 Artif公司。智力。 173,第15期,1424-1440(2009).MSC公司:68立方英尺 03G25号 06第15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hahmann}等人,Artif。智力。173,第15号,1424--1440(2009;Zbl 1190.68061) 全文: 内政部
李三江;王怀清 RCC8二进制约束网络可以一致扩展。 (英语) Zbl 1131.68526号 Artif公司。智力。 170,第1期,第1-18页(2006年).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{H.Wang},人工制品。智力。170,编号1,1-18(2006年;Zbl 1131.68526) 全文: 内政部
李三江;Ying,明生 广义区域连接演算。 (英语) Zbl 1086.68131号 Artif公司。智力。 160,编号1-2,1-34(2004).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{M.Ying},Artif。智力。160,编号1--2,1-34(2004;Zbl 1086.68131) 全文: 内政部
肯·卡内瓦 带有谓词层次结构的顺序逻辑编程。 (英语) Zbl 1086.68026号 Artif公司。智力。 158,第2期,155-188(2004).MSC公司:第68页第17页 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa},阿蒂夫。智力。158,第2号,155--188(2004;Zbl 1086.68026) 全文: 内政部
布兰登·贝内特;安东尼·高尔顿。 时间和事件的统一语义。 (英语) Zbl 1085.68157号 Artif公司。智力。 153,编号1-2,13-48(2004).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bennett}和\textit{A.P.Galton},Artif。智力。153,编号1--2,13-48(2004;Zbl 1085.68157) 全文: 内政部
斯基亚多普洛斯(Spiros Skiadopoulos);马诺利斯库巴拉基斯 构成基本方向关系。 (英语) Zbl 1082.68108号 Artif公司。智力。 152,第2143-171号(2004年).MSC公司:68T27型 68立方英尺 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Skiadopoulos}和\textit{M.Koubarakis},Artif。智力。152,第2号,143--171(2004;Zbl 1082.68108) 全文: 内政部
李三江;Ying,明生 区域连接演算:它的模型和组成表。 (英语) Zbl 1082.68821号 Artif公司。智力。 145,编号1-2,121-146(2003).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{M.Ying},Artif。智力。145,编号1--2,121-146(2003;Zbl 1082.68821) 全文: 内政部
A.伊斯利。;科恩,A.G。 利用三元关系代数对二维方向进行循环排序的一种新方法。 (英语) Zbl 0948.68170号 Artif公司。智力。 122,编号1-2,137-187(2000).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Isli}和\textit{A.G.Cohn},Artif。智力。122,编号1--2,137-187(2000;Zbl 0948.68170) 全文: 内政部
J.G.斯特尔。 布尔连接代数:区域连接演算的新方法。 (英语) Zbl 0948.68142号 Artif公司。智力。 122,编号1-2,111-136(2000).MSC公司:68T01型 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Stell},阿蒂夫。智力。122,编号1--2,111-136(2000;Zbl 0948.68142) 全文: 内政部
王铁成 用条件类型理论进行演绎的类型化分解原理。 (英语) Zbl 1013.68536号 Artif公司。智力。 75,第2期,161-194(1995).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Wang},Artif(阿蒂夫)。智力。75,第2号,161--194(1995;Zbl 1013.68536) 全文: 内政部
伊恩·P·根特。;托比·沃尔什 简单的问题有时很难解决。 (英语) Zbl 0824.68107号 Artif公司。智力。 70,编号1-2,335-345(1994).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gent}和\textit{T.Walsh},Artif。智力。70,编号1--2,335--345(1994;Zbl 0824.68107) 全文: 内政部
C·拜尔勒。;Hedtstück,美国。;普莱塔特,美国。;施密特,P.H。;J.西克曼。 一种用于知识表示系统的有序逻辑。 (英语) Zbl 0768.68196号 Artif公司。智力。 55,第2-3期,149-191(1992).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}等人,Artif。智力。55,No.2--3149--191(1992;Zbl 0768.68196) 全文: 内政部
艾伦·M·弗里希。 分类演绎的替代框架:混合推理的基本结果。 (英语) Zbl 0736.68071号 Artif公司。智力。 49,第1-3号,161-198(1991).MSC公司:68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Frisch},阿蒂夫。智力。49,No.1--3,161--198(1991;Zbl 0736.68071) 全文: 内政部