德鲁瓦省彭达尔卡;金加尔巴苏;法哈德·沙克林;戈帕尔·古普塔 基于ASP的文本自然语言问题解答方法。 (英语) Zbl 1530.68258号 理论与实践。日志。程序。 22,第3期,419-443(2022).MSC公司:68T50型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Pendharkar}等人,《理论与实践》。日志。程序。22,第3号,419--443(2022;Zbl 1530.68258) 全文: 内政部 arXiv公司
约阿奎因·阿里亚斯;曼纽尔·卡罗;陈卓;戈帕尔·古普塔 使用目标定向约束答案集编程在事件演算中建模和推理。 (英语) Zbl 1530.68242号 理论与实践。日志。程序。 22,第1号,51-80(2022).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}等人,《理论与实践》。日志。程序。22,编号1,51-80(2022;Zbl 1530.68242) 全文: 内政部
刘景平;陈涛;王超;梁嘉庆;陈丽涵;肖阳华;陈云文;金、柯 VoCSK:面向动词的常识知识挖掘和分类指导归纳。 (英语) Zbl 07570881号 Artif公司。智力。 310,文章ID 103744,23 p.(2022).MSC公司:68T50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,Artif。因特尔。310,文章ID 103744,23 p.(2022;Zbl 07570881) 全文: 内政部
Arpit Sharma公司 在Winograd模式挑战中使用答案集编程进行常识推理。 (英语) 兹比尔1434.68591 理论与实践。日志。程序。 19,第5-6号,1021-1037(2019).MSC公司:68T50型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharma},理论与实践。日志。程序。19,编号5--6,1021--1037(2019;Zbl 1434.68591) 全文: 内政部 arXiv公司
欧内斯特·戴维斯;加里·马库斯;诺亚·弗雷泽-洛格 关于使用完全不完整信息的容器的常识推理。 (英语) Zbl 1420.68202号 Artif公司。智力。 248, 46-84 (2017).MSC公司:68立方英尺 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{E.Davis}等人,Artif。因特尔。248、46-84(2017;Zbl 1420.68202) 全文: 内政部
马克·汉海德;莫里茨·哥贝尔贝克;格雷厄姆·霍恩。;安德烈·普罗诺比斯;克里斯托弗·舍尔;阿尔珀·艾德米尔;帕特里克·詹斯费尔特;查尔斯·格雷顿;理查德·迪尔登;米罗斯拉夫·贾尼切克;亨德里克·泽德;基尔特·扬·克鲁伊夫;尼克·霍斯;杰里米·怀亚特。 开放和不确定世界中的机器人任务规划和解释。 (英语) Zbl 1420.68210号 Artif公司。智力。 247, 119-150 (2017).MSC公司:68T40型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hanheide}等人,Artif。因特尔。247119-150(2017;Zbl 1420.68210) 全文: 内政部 链接
达尼埃拉·因利赞 {核心ALMlib}:从{组件库}. (英语) Zbl 1379.68296号 理论与实践。日志。程序。 16号5-6、800-816(2016).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Inclezan},理论与实践。日志。程序。16、编号5--6800-816(2016;Zbl 1379.68296) 全文: 内政部 arXiv公司
李欣;陈坤;Sun,Sherry X。;Terrance凤;王怀清;曾,Daniel D。 一种基于常识的金融市场监管文本分析方法。 (英语) Zbl 1415.91336号 信息J.计算。 28,第2期,278-294(2016).MSC公司:91G99型 91-04 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,《信息与计算》。28,第2号,278--294(2016;Zbl 1415.91336) 全文: 内政部
约阿奎因·德里克;史蒂文·斯科卡特 从概念空间诱导语义关系:一种数据驱动的似是而非推理方法。 (英语) Zbl 1346.68190号 Artif公司。智力。 228, 66-94 (2015).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrac}和\textit{S.Schockaert},Artif。因特尔。228、66-94(2015年;Zbl 1346.68190) 全文: 内政部
曼弗雷德·埃普;梅胡尔·巴特 一种基于历史的近似认知行为理论,用于有效的后置推理。 (英语) Zbl 1457.68256号 J.应用。日志。 13,第4号,第3部分,720-769(2015).MSC公司:68T27型 65年第68季度 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Eppe}和\textit{M.Bhatt},J.Appl。日志。13,第4号,第3部分,720--769(2015;Zbl 1457.68256) 全文: 内政部
曼弗雷德·埃普;梅胡尔·巴特 使用答案集编程进行近似后置推理。 (英语) Zbl 1457.68255号 J.应用。日志。 13,第4号,第3部分,676-719(2015).MSC公司:68T27型 68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Eppe}和\textit{M.Bhatt},J.Appl。日志。13,第4号,第3部分,676--719(2015;Zbl 1457.68255) 全文: 内政部
史蒂文·斯科卡特;亨利·普拉德 命题理论中使用概念空间定性知识的内插和外推推理。 (英语) 兹比尔1329.68245 Artif公司。智力。 202, 86-131 (2013).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}和\textit{H.Prade},Artif。因特尔。202,86-131(2013;Zbl 1329.68245) 全文: 内政部
臧良军;曹聪;曹亚南;吴玉明;曹存根 常识知识获取调查。 (英语) Zbl 1296.68167号 J.计算。科学。Technol公司。 28,第4期,689-719(2013).MSC公司:68立方英尺 68-02 PDF格式BibTeX公司 XML格式引用 \textit{L.-J.Zang}等人,J.Compute。科学。Technol公司。28,第4689-719号(2013年;兹bl 1296.68167) 全文: 内政部
亚当·皮斯;杰夫·萨特克利夫;尼克·西格尔;史蒂文·特拉克 在CASC与SUMO进行大型理论推理。 (英语) Zbl 1344.68229号 AI通讯。 23,编号2-3,137-144(2010).MSC公司:68立方英尺 68吨15 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{A.Pease}等人,AI Commun。23,编号2--3,137--144(2010;Zbl 1344.68229) 全文: 内政部
斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 描述逻辑中的二阶推理。 (英语) Zbl 1185.68680号 J.应用。非类别。日志。 16,编号3-4,517-530(2006).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Szałas},J.Appl。非类别。日志。16,编号3--4,517--530(2006;Zbl 1185.68680) 全文: 内政部
Lee,Joohyng先生;林方珍 用于限定的循环公式。 (英语) Zbl 1131.68105号 Artif公司。智力。 170,第2期,160-185(2006).MSC公司:68T27型 68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}和\textit{F.Lin},Artif。因特尔。170,编号2,160--185(2006;Zbl 1131.68105) 全文: 内政部
安德鲁·戈登。 规划策略的表示。 (英语) Zbl 1085.68673号 Artif公司。智力。 153,编号1-2,287-305(2004).MSC公司:68T20型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gordon},阿蒂夫。因特尔。153,编号1--2,287--305(2004;Zbl 1085.68673) 全文: 内政部
瓦罗尔·阿克曼;埃尔多安,Selim T。;Lee,Joohyng先生;弗拉基米尔·利夫希茨;特纳,哈德逊 用因果计算器的语言表示动物园世界和交通世界。 (英语) Zbl 1085.68679号 Artif公司。智力。 153,编号1-2,105-140(2004).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.Akman}等人,Artif。因特尔。153,编号1--2,105-140(2004;Zbl 1085.68679) 全文: 内政部 链接
恩里科·金西格里亚;Lee,Joohyng先生;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 非单调因果理论。 (英语) Zbl 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 1107.68445号 J.软。 第15期,第12期,1751-1763(2004).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Lu}和\textit{S.Zhang},J.Softw。15,第12号,1751---1763(2004;Zbl 1107.68445)
张燕;白、云 G-STRIPS–一个通用的STRIPS系统,用于处理动态域上的状态变化。 (英语) Zbl 1070.68612号 钟宁(编辑)等,《智能系统基础》。2003年10月28日至31日,第14届国际研讨会,ISMIS 2003,日本前桥市。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20256-0/pbk)。计算机科学课堂讲稿2871。《人工智能课堂讲稿》,292-296(2003)。MSC公司:68T27型 68立方英尺 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{Y.Bai},Lect。注释计算。科学。2871、292--296(2003年;Zbl 1070.68612)
伊夫·莫纳德;雷蒙德·罗兰 优先蕴涵的特征。 (英语) Zbl 1005.03032号 日志。J.IGPL公司 10,第3期,245-272(2002).MSC公司:03B60 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Moinard}和\textit{R.Rolland},日志。J.IGPL 10,第3期,245--272(2002;Zbl 1005.03032) 全文: 内政部 链接
里卡多·罗萨蒂 这是一个合理而完整的表格演算,用于推理最多只能知道和知道。 (英语) Zbl 0991.03019号 螺柱日志。 69,第1期,171-191(2001).MSC公司:03B35型 03B42号 68立方英尺 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Rosati},研究日志。69,第1号,171--191(2001;Zbl 0991.03019) 全文: 内政部
瓦利德·萨巴。;Jean-Pierre科里沃 合理推理和量词范围歧义的解决。 (英语) Zbl 0976.68147号 螺柱日志。 67,第2期,271-289(2001).MSC公司:68立方英尺 68T27型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{W.S.Saba}和\textit{J.-P.Corriveau},研究日志。67,第2号,271--289(2001;Zbl 0976.68147) 全文: 内政部
里卡多·罗萨蒂 表演算最多只能知道和知道。 (英语) Zbl 0963.03016号 Dyckhoff,Roy(编辑),分析表的自动推理和相关方法。2000年7月3日至7日,苏格兰圣安德鲁斯,TABLEAUX 2000国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1847, 383-397 (2000).MSC公司:03B35型 03B42号 68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Rosati},莱克特。注释计算。科学。1847383-397(2000年;Zbl 0963.03016)
阿列斯基·奈特·阿卜杜拉 运动是常识。利用部分信息进行推理的动力学。 (英语) 兹伯利0969.03045 Faller,Martina(编辑)等人,《信息动力学的形式化》。加州斯坦福:CSLI,语言与信息研究中心。CSLI勒克特。笔记。91, 3-26 (2000).MSC公司:03B60号 68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.nait Abdallah},in:将信息的动态形式化。加州斯坦福:CSLI,语言与信息研究中心。3--26(2000;Zbl 0969.03045)
丹尼尔·纳尔迪;里卡多·罗萨蒂 广义缺省逻辑:最小知识、自认知和缺省推理相协调。 (英语) Zbl 0958.03018号 Lamma,Evelina(编辑)等人,AI*IA 99:人工智能进展。意大利人工智能协会第六届大会。意大利博洛尼亚,1999年9月14日至17日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1792, 1-12 (2000).MSC公司:03B60 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Nardi}和\textit{R.Rosati},莱克特。注释计算。科学。1792年1月12日(2000年;Zbl 0958.03018)
特纳,H。 普遍因果关系的逻辑。 (英语) Zbl 0940.03031号 Artif公司。智力。 113,编号1-2,87-123(1999).MSC公司:03B60号 68T27型 68立方英尺 03B45 PDF格式BibTeX公司 XML格式引用 \textit{H.Turner},阿蒂夫。因特尔。113,编号1--2,87-123(1999;Zbl 0940.03031) 全文: 内政部
路易斯·M·库斯托(Luis M.M.Custódio)。;卡洛斯·平托·费雷拉 同意的逻辑:基础、语义系统和证明理论。 (英语) Zbl 0937.03029号 国际J近似推理 20,第1期,47-78(1999).MSC公司:03B50号 68T27型 68立方英尺 第68页第37页 PDF格式BibTeX公司 XML格式引用 \textit{L.M.M.Custódio}和\textit{C.Pinto-Ferreira},《国际近似推理》20,第1期,47-78(1999;Zbl 0937.03029) 全文: 内政部
卡斯特罗,J.L。;特里拉斯,E。;J.M.苏里塔。 非单调模糊推理。 (英语) Zbl 0922.03034号 模糊集系统。 94,第2期,217-225(1998年).MSC公司:03B52号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Castro}等人,《模糊集系统》。94,第2号,217--225(1998;Zbl 0922.03034) 全文: 内政部
张国强;威廉·罗恩斯(William C.Rounds)。 默认域理论中的非单调后果。 (英语) Zbl 0880.68123号 安。数学。Artif公司。智力。 20,编号1-4,227-265(1997).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}和\textit{W.C.Rounds},Ann.数学。Artif公司。因特尔。20,编号1--4,227--265(1997;Zbl 0880.68123) 全文: 内政部
尼古拉·利昂;帕斯奎尔·鲁洛;弗朗西斯科·斯卡切罗 析取稳定模型:无基础集、不动点语义和计算。 (英语) Zbl 0879.68019号 Inf.计算。 135,No.2,69-112(1997).MSC公司:68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.Leone}等人,Inf.Comput。135,No.2,69--112(1997;Zbl 0879.68019) 全文: 内政部 链接
Radzikowska,安娜 默认逻辑的三值方法。 (英语) Zbl 0849.03017号 J.应用。非类别。日志。 6,第2期,149-190(1996). 审核人:V.Ya.公司。克雷诺维奇(埃尔帕索) MSC公司:03B60号 68T27型 03B50号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Radzikowska},J.应用。非类别。日志。6,第2号,149--190(1996;Zbl 0849.03017) 全文: 内政部
迪迪埃·杜布瓦;亨利·普拉德 似是而非的推理中的不确定性的非标准理论。 (英语) Zbl 0962.68160号 Brewka,Gerhard(编辑),《知识表示原理》。加利福尼亚州斯坦福:CSLI出版物。逻辑、语言和信息研究。1-32 (1996).MSC公司:第68页第37页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Dubois}和\textit{H.Prade},in:知识表示原理。加州斯坦福:CSLI出版物;阿姆斯特丹:FoLLI:欧洲逻辑、语言和信息协会。1--32(1996年;Zbl 0962.68160)
穆罕默德·帕克坎;瓦罗尔·阿克曼 常识集合论中的问题。 (英语) Zbl 0814.03036号 Artif公司。因特尔。版次。 8,第4期,279-308(1995).MSC公司:03E75型 68立方英尺 68T01型 03-01 PDF格式BibTeX公司 XML格式引用 \textit{M.Pakkan}和\textit{V.Akman},Artif。因特尔。第8版,第4号,279--308(1995;Zbl 0814.03036) 全文: 内政部
布鲁斯·布坎南。(编辑);大卫·C·威尔金斯。(编辑) 阅读知识获取和学习。自动化专家系统的构建和改进。 (英语) Zbl 0761.68010号 东苏塞克斯郡霍夫:摩根·考夫曼。十二、 第906页(1992年)。 审核人:C.Möbus(奥尔登堡) MSC公司:68-06 68立方英尺 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{B.G.Buchanan}(编辑)和textit{D.C.Wilkins}(主编),《知识获取和学习中的阅读》。自动化专家系统的构建和改进。东苏塞克斯郡霍夫:摩根·考夫曼(1992;Zbl 0761.68010)
帕维尔·波佩拉;艾利什·席勒;米尔科·多纳尔 线性定性模型:解决方案、应用和工程解释。一: 定性代数。 (英语) Zbl 0779.68083号 计算。Artif公司。智力。 11,第6期,535-544(1992).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Popela}等人,计算。Artif公司。因特尔。11,第6号,535--544(1992;Zbl 0779.68083)
尼古拉斯·阿舍 常识蕴涵:非单调推理的模态理论。 (英语) Zbl 0744.68120号 人工智能,IJCAI-91,Proc。第十二届国际会议,悉尼/澳大利亚,1991,387-392(1991)。 审核人:N.Curteanu(伊阿什) MSC公司:68立方英尺 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Asher},in:IJCAI 91,第十二届国际人工智能会议论文集。1991年8月24日至30日,澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥:Morgan Kaufmann Publ。。387-392(1991年;兹bl 0744.68120)
埃米尔·韦德特 多克主义偏好逻辑。信念修正的新视角。 (英语) Zbl 0790.03027号 Eijck,Jan van(编辑),《人工智能中的逻辑》,欧洲研讨会JELIA’90,荷兰阿姆斯特丹,1990年9月10日至14日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。478, 526-543 (1991).MSC公司:03B60号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{E.Weydert},莱克特。注释计算。科学。478526-543(1991年;Zbl 0790.03027)
罗纳德·雅格。 非单调集合论运算。 (英语) Zbl 0733.68078号 模糊集系统。 42,第2期,173-190(1991).MSC公司:68吨15 68立方英尺 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Yager},模糊集系统。42,第2号,173--190(1991;Zbl 0733.68078) 全文: 内政部
特鲁兹钦斯基(Truszczynski,Mirosław) 模态非单调逻辑,否定的应用受到限制,无法证明规则。 (英语) Zbl 0726.03022号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 14,第3期,355-366(1991). 审核人:O.Sonobe(三浦市) MSC公司:03B60号 03B45号 68T27型 68立方英尺 03B80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczynski},安.社会数学。政策。,序列号。四、 芬丹。Inf.14,No.3,355--366(1991;Zbl 0726.03022)
斯图亚特·罗素。 在类比和归纳中使用知识。 (英语) Zbl 0733.68079号 人工智能研究笔记伦敦等:皮特曼出版社;加利福尼亚州圣马特奥:Morgan Kaufmann Publishers,Inc.x,164 p.£25.00(1989)。 审核人:L.州(布库雷什蒂) MSC公司:68立方英尺 03B80号 68-02 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Russell},知识在类比和归纳中的运用。伦敦等:皮特曼出版社;加利福尼亚州圣马特奥:Morgan Kaufmann Publishers,Inc.(1989;Zbl 0733.68079)
弗拉基米尔·利夫希茨;阿尔卡迪·拉比诺夫 事物会自行改变。 (英语) Zbl 0713.68060号 IJCAI 89,程序。国际会议,密歇根州底特律,美国1989,864-867(1989)。 审核人:N.Curteanu公司 MSC公司:68吨15 68立方英尺 PDF格式BibTeX公司 XML格式
罗纳德·雅格。 论常识推理中的通常价值观。 (英语) 兹比尔0677.68101 模糊集系统。 30,第3期,239-255(1989).MSC公司:68吨15 03B60号 94D05型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Yager},模糊集系统。30,第3号,239--255(1989;Zbl 0677.68101) 全文: 内政部
唐纳德·佩利斯 常识集合论。 (英语) Zbl 0658.03038号 元级架构和反射。工作坊,阿尔盖罗/意大利,1986年,87-98(1988年)。 审核人:J.Šindelář MSC公司:03F99型 03电子70 03A05号 03B45号 PDF格式BibTeX公司 XML格式
罗纳德·雅格。 关于实现常规价值观。 (英语) Zbl 0649.68107号 人工智能中的不确定性。车间,费城/宾夕法尼亚州,1986年,马赫。因特尔。模式识别5209-217(1988)。MSC公司:68T99型 PDF格式BibTeX公司 XML格式 全文: arXiv公司
Janusz Kacprzyk公司 通过基于常识的决策和控制模型实现“人类一致性”决策支持系统:模糊逻辑方法。 (英语) Zbl 0631.68076号 计算。Artif公司。智力。 6, 97-122 (1987).MSC公司:68T99型 91A35型 03B52号 90C99号 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Kacprzyk},计算。Artif公司。因特尔。6、97-122(1987年;Zbl 0631.68076)
洛夫蒂·A·扎德。 模糊逻辑中的三段论推理及其在使用权和配置推理中的应用。 (英语) Zbl 0593.03033号 IEEE传输。系统。人类网络。 15, 754-763 (1985). 审核人:S.拉托 MSC公司:03E72型 03B52号 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Zadeh},IEEE翻译。系统。人类网络。15、754--763(1985;Zbl 0593.03033) 全文: 内政部