雅各布·布朗宁;Yann乐村 语言、常识和Winograd模式挑战。 （英语） Zbl 07777851号 Artif公司。智力。 325，文章ID 104031，10 p.（2023）.MSC公司：68T01型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Browning}和\textit{Y.LeCun}，Artif。智力。325，文章ID 104031，10 p.（2023；Zbl 07777851） 全文： 内政部
Escañuela Gonzalez，Melisa G。;马西米利亚诺·巴丹。;杰拉尔多·西马里。;吉列尔莫·西马里。 标记的两极论证框架。 （英语） Zbl 1510.68108号 J.阿蒂夫。智力。研究（JAIR） 70, 1557-1636 (2021).MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Escañuela Gonzalez}等人，J.Artif。智力。研究（JAIR）701557--1636（2021；Zbl 1510.68108） 全文： 内政部
法哈德·沙克林;埃尔默·萨拉扎;戈帕尔·古普塔 一种自动归纳学习缺省理论的新算法。 （英语） Zbl 1422.68029号 理论与实践。日志。程序。 17，第5-6号，1010-1026（2017）.MSC公司：68N17号 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Shakerin}等人，《理论与实践》。日志。程序。17、编号5--61010--1026（2017；Zbl 1422.68029） 全文： 内政部 arXiv公司
维莱姆，诺瓦克 关于数学模糊逻辑及其未来的推理。 （英语） Zbl 1247.03036号 模糊集系统。 192，25-44（2012年）. 审核人：齐格弗里德·戈特瓦尔德（莱比锡） MSC公司：03B52号 03B50 03B65号 68立方英尺 68层37 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{V.Novák}，模糊集系统。192、25-44（2012；Zbl 1247.03036） 全文： 内政部
佩德罗·卡巴拉尔;保罗·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） 全文： 内政部
约翰·贝尔 自然事件。 （英语） Zbl 1183.68567号 J.阿蒂夫。智力。研究（JAIR） 30, 361-412 (2007).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.贝尔}，J.阿蒂夫。智力。研究（JAIR）30，361--412（2007；Zbl 1183.68567）
迈克尔·安德森。;唐纳德·佩利斯（Donald R.Perlis）。 逻辑、自我意识和自我完善：元认知循环和脆弱性问题。 （英语） Zbl 1070.68136号 J.日志。计算。 15，第1期，21-40（2005）. 审核人：弗拉基米尔·科门丹茨基（科克） MSC公司：68T27型 68立方英尺 03B53号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Anderson}和\textit{D.R.Perlis}，J.Log。计算。15，第1号，21--40（2005；Zbl 1070.68136） 全文： 内政部 链接
皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉 作为原科学主体活动的常识推理。 （英语） 兹比尔1101.68854 J.应用。日志。 2，编号4385-407（2004）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Dell'Acquia}和\textit{L.M.Pereira}，J.Appl。日志。2，第4号，385--407（2004；Zbl 1101.68854） 全文： 内政部
大卫·比林顿;安德鲁·洛克 建设性似是而非的逻辑相对一致。 （英语） Zbl 1205.68392号 Gedeon，Tamás D.（编辑）等人，AI 2003：人工智能的进展。第十六届澳大利亚人工智能会议，澳大利亚珀斯，2003年12月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20646-9/pbk）。计算机科学课堂讲稿2903。《人工智能课堂讲稿》，954-965（2003）。MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Billington}和\textit{A.Rock}，莱克特。票据计算。科学。2903954-965（2003年；Zbl 1205.68392） 全文： 内政部
张燕 处理行动领域中的不可行性。 （英语） Zbl 1066.68124号 理论与实践。日志。程序。 3，第3期，329-376（2003）.MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}，理论与实践。日志。程序。3，第3号，329--376（2003；Zbl 1066.68124） 全文： 内政部
卡罗尔·罗斯·阿尼科;泽农库尔帕;米查·克莱伯 桁架结构基于模型的定性分析。 （英语） Zbl 1012.74041号 计算。协助。机械。工程科学。 9，第123-133号（2002年）.MSC公司：74K10型 74K99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Rosłaniec}等人，计算。协助。机械。工程科学。9，第1号，第123--133条（2002年；Zbl 1012.74041）
保罗·利伯拉托雷;马尔科·谢尔夫 信念修正和更新：模型检查的复杂性。 （英语） Zbl 0990.68108号 J.计算。系统。科学。 62，第1期，41-72（2001）.MSC公司：68T01型 PDF格式BibTeX公司 XML格式引用 \textit{P.Liberatore}和\textit{M.Schaerf}，J.Comput。系统。科学。62，第1号，41--72（2001；Zbl 0990.68108） 全文： 内政部
皮埃尔·侯爵 结果发现算法。 （英语） Zbl 1015.68197号 Gabbay，Dov M.（编辑）等人，《可废止推理和不确定性管理系统手册》。第五卷：不确定性和不可行推理的算法。多德雷赫特：Kluwer学术出版社。41-145 (2000).MSC公司：68层35 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{P.马奎斯}，收录于：可废止推理和不确定性管理系统手册。第五卷：不确定性和不可行推理的算法。多德雷赫特：Kluwer学术出版社。41——145（2000年；Zbl 1015.68197）
卡尔·施莱赫塔 无限制优惠结构。 （英语） Zbl 0953.03035号 J.日志。计算。 10，第4期，573-581（2000）.MSC公司：03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Schlechta}，J.Log。计算。10，第4号，573--581（2000；Zbl 0953.03035） 全文： 内政部
莫伊纳德，Y。 关于基数限制的注意事项。 （英语） Zbl 0945.68159号 Artif公司。智力。 119，编号1-2，259-273（2000）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Moinard}，阿蒂夫。智力。119，编号1--2，259--273（2000；Zbl 0945.68159） 全文： 内政部
大卫·海狸 预设适应：对常识的诉求。 （英语） Zbl 0970.03006号 Moss，Lawrence S.（编辑）等人，《逻辑、语言和计算》。第2卷。第二届逻辑、语言和计算信息理论方法会议记录，英国伦敦，1996年7月。加利福尼亚州斯坦福：CSLI出版物。CSLI法律。笔记。96, 21-44 (1999). 审核人：Pavel Materna（普拉哈） MSC公司：03A05号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{D.Beaver}，in：逻辑、语言和计算。第2卷。第二届逻辑、语言和计算信息理论方法会议记录，英国伦敦，1996年7月。加利福尼亚州斯坦福：CSLI出版物。21-44（1999；Zbl 0970.03006）
阿巴亚·纳亚克。;Foo，Norman Y。 无最低限度的绑架。 （英语） Zbl 0948.03011号 Foo，Norman（编辑），人工智能高级主题。第十二届澳大利亚人工智能联合会议，AI'99，澳大利亚悉尼，1999年12月6日至10日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1747, 365-377 (1999).MSC公司：03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Nayak}和\textit{N.Y.Foo}，莱克特。票据计算。科学。17473265-377（1999年；兹bl 0948.03011）
卡米拉·施温德 因果推理理论。 （英语） Zbl 0964.68127号 Burgard，Wolfram（编辑）等人，KI-99：人工智能的进展。第23届德国年会，德国波恩，1999年9月13日至15日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1701, 285-288 (1999).MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwind}，莱克特。票据计算。科学。1701，285--288（1999；Zbl 0964.68127）
雷切尔·本·埃利亚胡·佐哈里;尼西姆·弗朗西兹;迈克尔·卡明斯基 默认逻辑中的相似性保留。 （英语） Zbl 0928.03026号 安。数学。Artif公司。智力。 25，编号1-2，137-160（1999）.MSC公司：03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ben-Eliyahu-Zohary}等人，《数学年鉴》。Artif公司。智力。25，编号1--2，137-160（1999；Zbl 0928.03026） 全文： 内政部
沈一东 使用谓词（ab（I，S））形式化默认值的通用方案。 （英语） Zbl 0920.68133号 J.计算。科学。Technol公司。 14，第2期，159-164（1999）.MSC公司：68立方英尺 68T27型 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shen}，J.计算。科学。Technol公司。14，第2号，159--164（1999；Zbl 0920.68133） 全文： 内政部
Gelfond，M。 LP作为知识表示的工具发挥作用。 （英语。俄文原件） Zbl 0972.68150号 程序。计算。柔和。 24，第2期，第52-62页（1998年）; 译自Programmirovanie 1998，第2期，10-26页（1998）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}，程序。计算。柔和。24，第2号，52--62（1998；Zbl 0972.68150）；译自Programmirovanie 1998，No.2，10-26（1998）
杰夫，巴黎 常识和最大熵。 （英语） Zbl 0931.68124号 合成 117，第1号，75-93（1998）.MSC公司：68层37 68层35 68T27型 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{J.Paris}，综合117，第1期，75-93（1998；Zbl 0931.68124） 全文： 内政部
韦达·C·斯托里。;戴，黛布拉塔;哈拉尔德·乌尔里奇;尚卡尔桑达雷桑 基于本体的数据库设计专家系统。 （英语） Zbl 0910.68062号 数据知识。工程师。 28，第1期，31-46（1998）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{V.C.Storey}等人，《数据知识》。Eng.28，No.1，31--46（1998；Zbl 0910.68062） 全文： 内政部
罗尼·哈尔顿;丹·罗斯 基于模型的推理中的默认值和相关性。 （英语） Zbl 0904.68161号 Artif公司。智力。 97，第1-2号，169-193（1997）.MSC公司：68立方英尺 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Khardon}和\textit{D.Roth}，Artif。智力。97，编号1--2，169-193（1997；Zbl 0904.68161） 全文： 内政部
基思·德夫林 计算机辅助数学推理的逻辑结构。 （英语） 兹比尔0891.00001 美国数学。周一。 104，第7期，632-646（1997）. 审核人：V.Ya.公司。克雷诺维奇（埃尔帕索） MSC公司：00A05号 00A30型 00A06号 00A69号 00A35型 03A05号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Devlin}，美国数学。周一。104，编号7，632--646（1997；Zbl 0891.00001） 全文： 内政部
沈一东 析取逻辑和析取逻辑程序的语义。 （英语） Zbl 0888.68033号 科学。中国，Ser。E类 40，第1期，第44-53页（1997年）.MSC公司：68N17号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shen}，科学。中国，Ser。E 40，编号1，44--53（1997；Zbl 0888.68033） 全文： 内政部
帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯、安德烈吉 重新审视计算范围：一种简化算法。 （英语） Zbl 0939.03033号 J.汽车。推理 18，第3期，297-336（1997）.MSC公司：03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Doherty}等人，J.Autom。推理18，第3号，297--336（1997；Zbl 0939.03033） 全文： 内政部
Bodenstorfer，B。 最小上界的最小上界数量。 （英语） Zbl 0839.06004号 计算 56，第2173-178号（1996年）.MSC公司：06A99号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bodenstorfer}，Computing 56，No.2，173--178（1996；Zbl 0839.06004） 全文： 内政部
罗尼·哈尔顿;丹·罗斯 用模型进行推理。 （英语） Zbl 1506.68149号 Artif公司。智力。 87，第1-2号，187-213（1996）.MSC公司：68立方英尺 03B35型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Khardon}和\textit{D.Roth}，Artif。智力。87，编号1--2，187-213（1996；Zbl 1506.68149） 全文： 内政部
Peter K.Rathmann。;玛丽安·温斯利特;马克·马纳塞 同态限定：解决等式和反例问题。 （英语） Zbl 0815.68089号 J.协会计算。机器。 41，第5号，819-873（1994）.MSC公司：68吨15 68立方英尺 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Rathmann}等人，J.协会计算。机器。41，第5号，819--873（1994；Zbl 0815.68089） 全文： 内政部
埃瓦州马达琳·斯卡·布加吉 默认逻辑作为建模话语中有例外情况的工具。 （英语） Zbl 0804.68138号 Martín-Vide，Carlos（编辑），《数学语言学的当前问题》。1993年3月30日至31日，西班牙加泰罗尼亚塔拉戈纳维吉利大学1993年ICML第一届国际会议。精选论文。阿姆斯特丹：荷兰北部。北荷兰语言学家。序列号。56, 329-338 (1994).MSC公司：68T27型 03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{E.Madalińska Bugaj}，北荷兰语言学家。序列号。56329-338（1994年；兹bl 0804.68138）
太阳，罗恩 集成规则和连接主义，实现稳健的常识推理。 （英语） Zbl 0801.68145号 第六代计算机技术系列。奇切斯特：威利。xviii，273 p.£49.50/sc（1994）。 审核人：C.Möbus（奥尔登堡）- MSC公司：68T01型 68T05型 68-02 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Sun}，将规则和连接主义结合起来，实现稳健的常识推理。奇切斯特：威利（1994；Zbl 0801.68145）
井上，胜美 逻辑程序中的假设推理。 （英语） Zbl 0803.68013号 J.日志。程序。 18，第3期，191-227（1994）.MSC公司：68N17号 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Inoue}，J.Log。程序。18，第3号，191--227（1994；Zbl 0803.68013） 全文： 内政部
马可·卡多利;托马斯·艾特;乔治·戈特洛布 从限定中消除可变谓词的有效方法。 （英语） Zbl 0762.03013号 Artif公司。智力。 54，第3期，397-410（1992）.MSC公司：03B80号 68T27型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}等人，Artif。智力。54，第3号，397--410（1992；Zbl 0762.03013） 全文： 内政部
莱亚·桑贝 不确定性推理。信息不完整的Raisonnements sur des information。（Schließen bei unsicherem Wissen in der Künstlichen Intelligenz.Vergleich von Formalismen anhand eines Beispiels.u bers.aus dem Franz.von Peter Seidenspinner und Camilla Schwind.） （德语） Zbl 0755.68128号 布伦瑞克等：Vieweg。VIII、 第181页（1992年）。 审核人：H.Herre（莱比锡） MSC公司：68T27型 68-01 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Sombé}，Schließen bei unsicherem Wissen in der Künstlichen Intelligenz。Vergleich von Formalismen anhand eines Beispiels公司。用户。我们是弗兰兹。冯·彼得·塞登斯宾纳和卡米拉·施温德。布伦瑞克等：Vieweg（1992；Zbl 0755.68128）
瓦茨拉夫·波拉克 通过人性化的数学将人文科学数学化。 （英语） Zbl 0757.9202号 布尔诺：达维。第448页（1992年）。 审核人：I.Kൿiv蛹（俄斯特拉发） MSC公司：92-02 62G99型 62小时99 91电子99 68T05型 00A69号 PDF格式BibTeX公司 XML格式引用 \textit{V.Polak}，通过人性化数学将人文科学数学化。布尔诺：达维（1992；Zbl 0757.92002）
弗拉基米尔·利夫希茨 在限定逻辑和自认知逻辑之间。 （英语） Zbl 0706.03025号 知识表示和推理原理。第一。多伦多/加拿大国际会议。1989, 235-244 (1989). 审核人：D.梅金森 MSC公司：03B60号 68立方英尺 68N17号 PDF格式BibTeX公司 XML格式
瓦洛德克·扎德罗兹尼 公理集合理论中的基数和良序。 （英语） Zbl 0706.03023号 知识表示和推理原理，Proc。第一。国际会议，多伦多/加拿大。1989, 486-497 (1989). 审核人：L.州 MSC公司：03B60号 68立方英尺 03E70型 03E75型 PDF格式BibTeX公司 XML格式
阿尔卡迪·拉比诺夫 可折叠的限定情况的概括。 （英语） Zbl 0664.03022号 Artif公司。智力。 38，第1期，111-117（1989）. 审核人：L.州 MSC公司：03B60号 68T99型 03B65号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Rabinov｝，人工制品。智力。38，编号1，111--117（1989；Zbl 0664.03022） 全文： 内政部
詹姆斯·德尔格兰德。 基于一阶条件逻辑的默认推理方法：修订报告。 （英语） 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） 全文： 内政部
彼得·里奇利克 信息系统中模式缺省推理的使用。 （英语） Zbl 0573.68054号 国际曼马赫杂志。螺柱。 22, 507-522 (1985).MSC公司：68T99型 03B45号 68第20页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Rychlik}，国际杂志Man-Mach。螺柱22507--522（1985；Zbl 0573.68054） 全文： 内政部
亨利·法伦;亨利·普拉德 基于可能性理论的缺省和不精确推理方法。 （英语） Zbl 0561.68063号 计算。Artif公司。智力。 4, 125-136 (1985).MSC公司：68T99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Farreny}和\textit{H.Prade}，计算。Artif公司。智力。4125--136（1985年；Zbl 0561.68063）
或łowska，埃瓦 信息系统理论中的模态逻辑。 （英语） Zbl 0556.68053号 Z.数学。Logik Grundlagen数学。 30, 213-222 (1984). 审核人：E.克努特 MSC公司：68立方英尺 68层37 03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.或łowska}，Z.数学。Logik Grundlagen数学。30、213--222（1984年；Zbl 0556.68053） 全文： 内政部
弗里德哈特·克里克斯（编辑） [Klix，F。;新泽西州尼尔森。;D.A.诺曼。;Pospelov，D.A。;斯坎杜拉，J.M。;西蒙，H.A。;Dörner，D。;朱利施，B。;R·克莱因。;W.克劳斯。;F.库克拉。;布里亚宾，V.M。;J·豪。;沙克，R.C。;莱纳，W。;T·奥谢。;J.F.理查德。;霍夫曼，J。;范德梅尔，E。;Lehmann，E。] 人类和人工智能。1976年7月18日至25日在巴黎举行的第二十一届国际心理学会议上发表的文章。许可编辑。 （英语） Zbl 0414.68065号 计算机科学基础研究，8。阿姆斯特丹-纽约-奥克斯福德：北荷兰出版公司。十五、 227页，英国国防部。75.00; $ 36.50 (1979).MSC公司：68T99型 91电子99 68T20型 68问题55 68-06 92-06 PDF格式BibTeX公司 XML格式