精木赤山 注释逻辑的调查。 （英语） Zbl 1429.03100号 Akama，Seiki（编辑），《走向准一致性工程》。Cham:Springer。智力。系统。参考Libr。110, 49-76 (2016).MSC公司：03B53号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}，情报。系统。参考图书馆。110、49——76（2016；Zbl 1429.03100） 全文： 内政部
叶卡捷琳娜·科门丹茨卡亚;安东尼·卡雷尔·塞达 基于双参数的注释逻辑程序的完善SLD分辨率。 （英语） Zbl 1336.68029号 Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，141-159（2009）。MSC公司：68N17号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}和\textit{A.K.Seda}，电子。注释Theor。计算。科学。225、141--159（2008年；Zbl 1336.68029） 全文： 内政部
马骏;李文江;阮，达;徐，杨 格值命题逻辑LP\（（X）\）的基于滤波器的分解原理。 （英语） Zbl 1114.03019号 信息科学。 177，第4期，1046-1062（2007）.MSC公司：03B52号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Ma｝等人，《信息科学》。177，第4号，1046--1062（2007；Zbl 1114.03019） 全文： 内政部
徐，杨;阮，达;艾蒂安·凯尔（Etienne E.Kerre）。;刘军 \基于一阶格值逻辑的（α）-分辨原理（text{LF}（X））。 （英语） 兹比尔0997.03006 信息科学。 132，编号1-4，221-239（2001）. 审核人：弗拉基米尔·科门丹斯基（多尔戈普鲁德尼） MSC公司：03B35型 03B50 68吨15 03B52号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xu}等人，《信息科学》。132，编号1--4，221--239（2001；Zbl 0997.03006） 全文： 内政部
卢，米;吴金钊 注释逻辑中的定理证明。 （英语） Zbl 1033.03006号 J.应用。非类别。日志。 10，第2期，121-143（2000）.MSC公司：03B35型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lu}和textit{J.Wu}，J.Appl。非类别。日志。10，第2号，121--143（2000；Zbl 1033.03006） 全文： 内政部 链接
徐，杨;阮，达;艾蒂安·凯尔（Etienne E.Kerre）。;刘军 \基于格值命题逻辑的（α）-分辨原理（text{LP}（X））。 （英语） Zbl 0987.03010号 信息科学。 130，编号1-4195-223（2000）. 审核人：弗拉基米尔·科门丹斯基（多尔戈普鲁德尼） MSC公司：03B35型 03B50 03B52号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Xu｝等人，《信息科学》。130，编号1--4，195-223（2000；Zbl 0987.03010） 全文： 内政部
马雷克，V.W。;A.内罗德。;雷梅尔，J.B。 逻辑程序、有序和前向链接。 （英语） 兹伯利0927.68021 Ann.纯粹应用。逻辑 96，编号1-3，231-276（1999）.MSC公司：68N17号 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.W.Marek}等人，Ann.Pure Appl。逻辑96，编号1--3，231--276（1999；Zbl 0927.68021） 全文： 内政部
林金鑫 在不一致的情况下进行一致推理的语义。 （英语） Zbl 1506.68141号 Artif公司。智力。 86，第1期，75-95（1996）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Lin}，阿蒂夫。智力。86，第1号，75--95（1996；Zbl 1506.68141） 全文： 内政部
菲利普·贝斯纳德;托尔斯滕·绍布 一种用于准一致推理的简单符号系统。 （英语） 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 0938.03051号 西奥。计算。科学。 133，第2期，205-265（1994）.MSC公司：03B70号 68N17号 第68页，共15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Bonner}和\textit{M.Kifer}，Theor。计算。科学。133，第2号，205--265（1994；Zbl 0938.03051） 全文： 内政部
埃利泽·洛津斯基。 解决矛盾：不一致系统的合理语义。 （英语） Zbl 0804.68141号 J.汽车。推理 12，第1期，第1-31页（1994年）.MSC公司：68立方英尺 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Lozinskii}，J.Autom。推理12，No.1，1-31（1994；Zbl 0804.68141） 全文： 内政部
Ng，雷蒙德;苏布拉曼尼亚，V.S。 在演绎数据库中支持主观概率和条件概率的语义框架。 （英语） Zbl 0784.68082号 J.汽车。推理 191-235（1993）第2期第10期.MSC公司：68T27型 68T99型 68问题55 第68页，共15页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ng}和\textit{V.S.Subrahmanian}，J.Autom。推理10，No.2，191--235（1993；Zbl 0784.68082） 全文： 内政部
詹姆斯·J·卢。;莫妮卡·D·巴巴克。;劳伦斯·亨森。 基于强烈的析取意识解释析取逻辑程序。 （英语） 兹比尔0788.68024 J.汽车。推理 10，第3期，345-370（1993）.MSC公司：68N17号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Lu}等人，J.Autom。推理10，No.3，345--370（1993；Zbl 0788.68024） 全文： 内政部
迈克尔·基弗;詹姆斯·吴 用复杂对象编程的逻辑。 （英语） Zbl 0785.68023号 J.计算。系统。科学。 47，第1号，77-120（1993）. 审核人：J.Šefránek（布拉迪斯拉发） MSC公司：第68页，共15页 68T99型 68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kifer}和\textit{J.Wu}，J.Compute。系统。科学。47，编号1，77--120（1993；Zbl 0785.68023） 全文： 内政部
克里希纳普拉萨德·瑟伦纳亚扬;迈克尔·基弗 基于注释逻辑的非单调继承理论。 （英语） 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） 全文： 内政部
苏布拉曼尼亚，V.S。 准一致析取演绎数据库。 （英语） Zbl 0745.68042号 西奥。计算。科学。 93，第1期，115-141（1992）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Subrahmanian}，Theor。计算。科学。93，No.1，115--141（1992；Zbl 0745.68042） 全文： 内政部
吴，Raymond;苏布拉曼尼亚，V.S。 概率逻辑编程。 （英语） Zbl 0781.68038号 Inf.计算。 101，第2期，150-201（1992）. 审核人：N.Zamov（喀山） MSC公司：68N17号 68T99型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Ng}和\textit{V.S.Subrahmanian}，Inf.Compute。101，第2号，150--201（1992；Zbl 0781.68038） 全文： 内政部
牛顿·C·A·达·科斯塔。;劳伦斯·亨森。;詹姆斯·J·卢。;苏布拉曼尼亚，V.S。 亚相容逻辑中的自动定理证明：理论与实现。 （英语） Zbl 1509.03042号 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 72-86 (1990).MSC公司：03B35型 03B53号 第68页，共15页 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}等人，Lect。注释计算。科学。449、72--86（1990年；Zbl 1509.03042） 全文： 内政部