乔治·弗洛里斯；西奥多·帕特科斯；安东尼斯·比卡基斯；亚历山大·瓦西利亚德斯；尼克·巴西利亚德斯；普列克索萨基斯，迪米特里斯 具有领域分配的抽象论证框架的理论分析和实现。 （英语） Zbl 07734039号 国际J近似推理 161，文章ID 108992，27 p.（2023）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.Flouris}等人，国际期刊近似推理161，文章ID 108992，27 p.（2023；Zbl 07734039） 全文： 内政部
Gustavo Adrián博丹扎；克劳迪奥·安德雷斯·阿莱西奥 重新思考可废止推理中的特殊性及其在论点恢复中的作用。 （英语） Zbl 1372.68236号 Inf.计算。 255，第2部分，287-310（2017）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Bodanza}和\textit{C.A.Alessio}，Inf.Comput。255，第2部分，287--310（2017；Zbl 1372.68236） 全文： 内政部
哈拉尔德·巴斯蒂安斯；弗兰克·维尔特曼 做出正确的例外。 （英语） Zbl 1385.68043号 Artif公司。智力。 238, 96-118 (2016).MSC公司：68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{H.Bastiaanse}和\textit{F.Veltman}，Artif。智力。238、96-118（2016年；Zbl 1385.68043） 全文： 内政部
弗雷德里克·迈尔 可定义逻辑和逻辑编程在良好语义基础下的可互定义性。 （英语） Zbl 1272.68079号 理论与实践。日志。程序。 13，第1期，107-142（2013）.MSC公司：68N17号 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Maier}，理论与实践。日志。程序。13，第1号，107--142（2013；Zbl 1272.68079） 全文： 内政部
保罗·D·索恩。 直接推理的两个问题。 （英语） Zbl 1251.03023号 埃尔肯特尼斯 76，第3号，299-318（2012）.MSC公司：03A10号 03B48号 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Thorn}，Erkentnis 76，No.3，299--318（2012；Zbl 1251.03023） 全文： 内政部 链接
弗雷德里克·迈尔；唐纳德·纳特 为可废止逻辑提供了完善的语义。 （英语） Zbl 1214.03020号 合成 176，第2期，243-274（2010）.MSC公司：03B60号 PDF格式BibTeX公司 XML格式引用 \textit{F.Maier}和\textit{D.Nute}，综合176，第2期，243--274（2010；Zbl 1214.03020） 全文： 内政部
埃里克·桑德沃尔 带怀疑指数的可避免继承及其公理化特征。 （英语） Zbl 1210.68111号 Artif公司。智力。 174，第18号，1431-1459（2010）.MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Sandewall}，阿蒂夫。智力。174、18号、1431--1459（2010；Zbl 1210.68111） 全文： 内政部
约翰·霍蒂 具有优先级的默认值。 （英语） Zbl 1125.03021号 J.菲洛斯。日志。 36，第4期，367-413（2007）. 审核人：David Makinson（伦敦） MSC公司：03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.霍蒂}，J.菲洛斯。日志。36，第4号，367--413（2007；Zbl 1125.03021） 全文： 内政部
查尔斯·B·克罗斯。 非单调不一致。 （英语） Zbl 1082.03508号 Artif公司。智力。 149，第2期，161-178（2003）.MSC公司：03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.B.十字架}，Artif。智力。149，第2号，161--178（2003；Zbl 1082.03508） 全文： 内政部
瑞秋·A·伯恩。 使用最大熵解释默认直觉。 （英语） Zbl 1076.68073号 J.应用。日志。 1，编号3-4，255-271（2003）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Bourne}，J.Appl.（《应用杂志》）。日志。1，编号3--4，255-271（2003；Zbl 1076.68073） 全文： 内政部
赵西顺；丁德成 无析取默认推理的固定参数可处理性。 （英语） Zbl 1025.68093号 J.计算。科学。Technol公司。 18，第1期，118-124（2003）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhao}和\textit{D.Ding}，J.Compute。科学。Technol公司。18，第1号，118--124（2003；Zbl 1025.68093） 全文： 内政部
彼得罗·巴罗尼；马西米利亚诺·贾科明 通过分布式自稳定方法进行论证。 （英语） Zbl 1031.68120号 J.实验理论。Artif公司。智力。 14，第4期，273-301（2002）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{P.Baroni}和\textit{M.Giacomin}，J.Exp.Theor。Artif公司。智力。14，第4号，273--301（2002；Zbl 1031.68120） 全文： 内政部
约翰·霍蒂。 怀疑和浮躁的结论。 （英语） 兹伯利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） 全文： 内政部
B.布钦纳斯。；M.N.弗拉哈蒂斯。 人工非单调神经网络。 （英语） Zbl 0983.68151号 Artif公司。智力。 132，第1期，第1-38页（2001年）.MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Boutsinas}和\textit{M.N.Vrahatis}，阿蒂夫。智力。132，编号1，1--38（2001；Zbl 0983.68151） 全文： 内政部
潘明·邓；儿子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） 全文： 内政部
P.贝纳德。；A.亨特。 基于逻辑的演绎论证理论。 （英语） 兹伯利0971.68143 Artif公司。智力。 128，编号1-2203-235（2001）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Besnard}和\textit{A.Hunter}，Artif。智力。128，编号1--2，203-235（2001；Zbl 0971.68143） 全文： 内政部
莱奥拉·摩根斯坦 继承来自时代：将非单调技术应用于工业问题。 （英语） Zbl 0910.68205号 Artif公司。智力。 103，编号1-2，237-271（1998）.MSC公司：68层35 PDF格式BibTeX公司 XML格式引用 \textit{L.Morgenstern}，阿蒂夫。智力。103，编号1--2，237--271（1998；Zbl 0910.68205） 全文： 内政部
吉安·阿尔多·安东内利 循环网络上的可延迟继承。 （英语） Zbl 1017.68541号 Artif公司。智力。 92，第1-2、1-23号（1997年）.MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Antonelli}，阿蒂夫。智力。92，编号1--2，1--23（1997；Zbl 1017.68541） 全文： 内政部
丹尼尔·施瓦茨（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） 全文： 内政部
Przymusinski，Teodor C。 知识和信仰的自我认识逻辑。 （英语） 兹伯利0894.68141 Artif公司。智力。 95，第1期，115-154（1997）.MSC公司：68T27型 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Przymusinski}，阿蒂夫。智力。95，第1号，115--154（1997；Zbl 0894.68141） 全文： 内政部
亨利·普拉肯；乔瓦尼·萨托 具有可取消优先级的基于参数的扩展逻辑编程。 （英语） Zbl 0877.68019号 J.应用。非类别。日志。 7，第1-2、25-75号（1997年）.MSC公司：68N17号 68立方英尺 68T27型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{H.Prakken}和\textit{G.Sartor}，J.Appl。非类别。日志。7，编号1--2，25-75（1997；Zbl 0877.68019） 全文： 内政部
菲利普·贝斯纳德；托尔斯滕·绍布 用于次协调推理的简单签名系统。 （英语） Zbl 1427.68287号 Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1126, 404-416 (1996).MSC公司：68T27型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{P.Besnard}和\textit{T.Schaub}，莱克特。注释计算。科学。1126404-416（1996年；Zbl 1427.68287） 全文： 内政部
英格丽德·诺伊曼 用于知识表示的分级继承网。 （英语） Zbl 1419.68146号 Gabbay，Dov M.（编辑）等人，《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1085, 436-448 (1996).MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.Neumann}，莱克特。注释计算。科学。1085436-448（1996年；Zbl 1419.68146） 全文： 内政部
克里希纳普拉萨德·瑟伦纳亚扬 关于向上和向下继承推理机的等价性。 （英语） Zbl 0855.68104号 安。数学。Artif公司。智力。 15，第2期，239-256（1995）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛K.Thirunarayan｝，Ann.数学。Artif公司。智力。15，第2号，239--256（1995；Zbl 0855.68104） 全文： 内政部
Przymusinski，Teodor C。 正常逻辑程序和析取逻辑程序的静态语义。 （英语） Zbl 0855.68015号 安。数学。Artif公司。智力。 14，编号2-4，323-357（1995）.MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Przymusinski}，安.数学。Artif公司。智力。14，编号2--4，323--357（1995；Zbl 0855.68015） 全文： 内政部
廖乐建；石忠志 排序约束表示的最小模型语义。 （英语） Zbl 0845.68072号 J.计算。科学。Technol公司。 10，第5期，439-446（1995）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Liao}和\textit{Z.Shi}，J.Compute。科学。Technol公司。10，编号5，439--446（1995；Zbl 0845.68072） 全文： 内政部
Phan Minh Dung公司；Tran Cao儿子 非单调继承、论证和逻辑编程。 （英语） Zbl 1496.68321号 Marek，V.W.（编辑）等人，《逻辑编程和非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 316-329 (1995).MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Phan Minh Dung}和\textit{Tran Cao Son}，Lect。注释计算。科学。928316-329（1995年；Zbl 1496.68321） 全文： 内政部
Przymusinski，Teodor C。 逻辑程序的建立良好且稳定的模型。 （英语） Zbl 0858.68014号 安。数学。Artif公司。智力。 12，第3-4号，141-187（1994）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Przymusinski}，安.数学。Artif公司。智力。12，编号3--4，141-187（1994；Zbl 0858.68014） 全文： 内政部
吉纳维耶夫·西蒙内；罗兰·杜库诺 关于Stein的论文：解决非单调继承层次中的歧义。 （英语） Zbl 0834.68108号 Artif公司。智力。 71，第1期，183-193（1994）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Simonet}和\textit{R.Ducournau}，Artif。智力。71，No.1，183--193（1994；Zbl 0834.68108） 全文： 内政部
马格南，M。；C·乌萨拉。 具有异常的继承系统。 （英语） Zbl 0806.68099号 Artif公司。智力。版次。 7，第6期，421-443（1994）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Magnan}和\textit{C.Oussalah}，Artif。智力。第7版，第6号，421--443（1994；Zbl 0806.68099） 全文： 内政部
巴特·塞尔曼；Hector J.列夫斯克。 基于路径的可终止继承的复杂性。 （英语） Zbl 0779.68080号 Artif公司。智力。 62，第2期，303-339（1993）. 审核人：J.Henno（Naasa） MSC公司：68T27型 68立方英尺 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Selman}和\textit{H.J.Levesque}，阿蒂夫。智力。62，第2号，303--339（1993；Zbl 0779.68080） 全文： 内政部
克里希纳普拉萨德·瑟伦纳亚扬 继承网络中的位置。 （英语） Zbl 0781.68107号 信息处理。莱特。 46，第6期，263-268（1993）. 审核人：N.Zlatareva（新不列颠） MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Thirunaayan}，Inf.过程。莱特。46，第6号，263--268（1993；Zbl 0781.68107） 全文： 内政部
克里希纳普拉萨德·瑟伦纳亚扬；迈克尔·基弗 基于注释逻辑的非单调继承理论。 （英语） Zbl 0778.68080号 Artif公司。智力。 60，第1期，23-50（1993）. 审核人：克里希纳普拉萨德·蒂拉纳扬 MSC公司：68T99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Thirunaraayan}和\textit{M.Kifer}，Artif。智力。60，编号1，23--50（1993；Zbl 0778.68080） 全文： 内政部
约翰·波洛克。 如何合理地推理。 （英语） 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） 全文： 内政部
斯坦因，林恩·安德里亚 解决非单调继承层次结构中的歧义。 （英语） 兹伯利0766.68120 Artif公司。智力。 55，编号2-3，259-310（1992）.MSC公司：68吨15 68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Stein}，阿蒂夫。智力。55，编号2--3，259--310（1992；Zbl 0766.68120） 全文： 内政部 链接
吉列尔莫·西马里。；罗纳德·路易（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） 全文： 内政部
林·帕德汉姆 可避免的继承：一种基于格的方法。 （英语） Zbl 0800.68877号 计算。数学。申请。 23，编号6-9，527-541（1992）.MSC公司：68立方英尺 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Padgham}，计算。数学。申请。23，编号6--9，527--541（1992；Zbl 0800.68877） 全文： 内政部
里士满·H·托马森。 Netl和随后的基于路径的继承理论。 （英语） Zbl 0800.68871号 计算。数学。申请。 23，第2-5号，179-204（1992）.MSC公司：68立方英尺 68T27型 68层35 68兰特 PDF格式BibTeX公司 XML格式引用 \textit｛R.H.托马森｝，计算机。数学。申请。23，编号2-5179--204（1992年；Zbl 0800.68871） 全文： 内政部
里士满·H·托马森。；John M.Aronis。 将非单调继承与定理证明相结合。 （英语） Zbl 0875.68759号 安。数学。Artif公司。智力。 6，第4期，345-366（1992）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Thomason}和\textit{J.M.Aronis}，Ann.数学。Artif公司。智力。6，第4号，345--366（1992；Zbl 0875.68759） 全文： 内政部
戴维·梅金森；卡尔·施莱赫塔 浮现的结论和僵尸路径：在“直接怀疑”的方法中，可撤销的继承网络存在两个深层次的困难。 （英语） Zbl 1117.68493号 Artif公司。智力。 48，第2期，199-209（1991）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Makinson}和\textit{K.Schlechta}，Artif。智力。48，第2号，199--209（1991；Zbl 1117.68493） 全文： 内政部
亨利·考茨。；巴特·塞尔曼 简单默认逻辑的难题。 （英语） Zbl 0736.68044号 Artif公司。智力。 49，编号1-3，243-279（1991）.MSC公司：65年第68季度 68T27型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.A.Kautz}和\textit{B.Selman}，Artif。智力。49，编号1--3，243--279（1991；Zbl 0736.68044） 全文： 内政部
乔恩·多伊尔；迈克尔·P·威尔曼。 基于普遍偏好的违约理论的障碍。 （英语） 兹比尔0736.68069 Artif公司。智力。 49，编号1-397-128（1991）.MSC公司：68吨15 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Doyle}和\textit{M.P.Wellman}，Artif。智力。49，编号1--3，97-128（1991；Zbl 0736.68069） 全文： 内政部
约翰·霍蒂。；里士满·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 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） 全文： 内政部