赫莱内·法吉尔;皮埃尔侯爵 用于知识编译的析取闭包。 （英语） Zbl 1405.68375号 Artif公司。智力。 216, 129-162 (2014).MSC公司：68立方英尺 65年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Fargier}和\textit{P.Marquis}，阿蒂夫。智力。216129-162（2014年；Zbl 1405.68375） 全文： 内政部 哈尔
王克文;吴全元;陈火旺 析取逻辑编程中的论证。 （英语） Zbl 0903.68185号 科学。中国，Ser。E类 41，第1期，第106-112页（1998年）.MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wang}等人，科学。中国，Ser。E 41，编号1，106--112（1998；Zbl 0903.68185） 全文： 内政部
王克文;陈火旺;吴全元 析取逻辑程序的最小不动点变换。 （英语） Zbl 0899.68027号 J.计算。科学。Technol公司。 193-201年第3期13号（1998年）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wang}等人，J.Compute。科学。Technol公司。13，第3号，193--201（1998；Zbl 0899.68027） 全文： 内政部
蒋丁安;周路易·R·。;南陈县 扩展模糊关系数据库中的模糊信息。 （英语） Zbl 0931.68035号 模糊集系统。 92，第1号，1-20（1997）.MSC公司：第68页，共15页 94D05型 PDF格式BibTeX公司 XML格式引用 \textit{D.-A.Chiang}等人，《模糊集系统》。92，编号1，1--20（1997；Zbl 0931.68035） 全文： 内政部
马可·卡多利;弗朗西斯科·多尼尼。;马尔科·谢尔夫;里卡多·西尔维斯特里 关于命题限制的紧致表示。 （英语） Zbl 0901.68189号 西奥。计算。科学。 182，第1-2号，183-202（1997）.MSC公司：68立方英尺 68时01分 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}等人，Theor。计算。科学。182，编号1--2，183--202（1997；Zbl 0901.68189） 全文： 内政部
Chandrabose阿拉文丹 析取逻辑编程中否定的一个溯因框架。 （英语） Zbl 1427.68040号 Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1126, 252-267 (1996).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Aravindan}，莱克特。注释计算。科学。1126252-267（1996年；Zbl 1427.68040） 全文： 内政部
马可·卡多利;弗朗西斯科·多尼尼。;马尔科·谢尔夫 非单调推理的难处理性真的是一个缺点吗？ （英语） Zbl 0907.68182号 Artif公司。智力。 88，No.1-2，215-251（1996）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}等人，Artif。智力。88，编号1--2，215--251（1996；Zbl 0907.68182） 全文： 内政部
托马斯·艾特;乔治·戈特洛布 选言逻辑程序设计的计算成本：命题案例。 （英语） Zbl 0858.68016号 安。数学。Artif公司。智力。 15，第3-4号，289-323（1995）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{G.Gottlob}，Ann.Math。Artif公司。智力。15，编号3--4，289--323（1995；Zbl 0858.68016） 全文： 内政部
迈克尔·盖尔芬德 不完全信息的逻辑编程和推理。 （英语） Zbl 0858.68013号 安。数学。Artif公司。智力。 12，编号1-2，89-116（1994）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \发短信{M.Gelfond}，Ann.Math。Artif公司。智力。12，编号1--2，89-116（1994；Zbl 0858.68013） 全文： 内政部
亚德南·叶海亚;费尔南德斯、何塞·阿尔贝托;杰克·明克尔 有序模型树：析取演绎数据库的标准形式。 （英语） Zbl 0819.68050号 J.汽车。推理 13，第1期，117-143（1994）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Yahya}等人，J.Autom。推理13，No.1，117--143（1994；Zbl 0819.68050） 全文： 内政部
马可·卡多利;莫里齐奥·伦泽里尼 命题封闭世界推理和限定的复杂性。 （英语） Zbl 0806.68096号 J.计算。系统。科学。 48，第2期，255-310页（1994年）.MSC公司：68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}和\textit{M.Lenzerini}，J.Compute。系统。科学。48，第2号，255--310（1994；Zbl 0806.68096） 全文： 内政部
马雷克·苏切内克（Marek A.Suchenek）。 最小蕴涵、域最小蕴涵和Herbrand蕴涵的一阶句法特征。 （英语） Zbl 0805.03013号 J.汽车。推理 10，第2期，237-263（1993）.MSC公司：03B80号 68T27型 03B60号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Suchenek}，J.Autom。推理10，No.2，237--263（1993；Zbl 0805.03013） 全文： 内政部
詹姆斯·J·卢。;莫妮卡·D·巴巴克。;劳伦斯·亨森。 基于强烈的析取意识解释析取逻辑程序。 （英语） Zbl 0788.68024号 J.汽车。推理 10，第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） 全文： 内政部
Edward P.jun，斯塔勒。 解析为非Horn演绎。 （英语） Zbl 0809.68080号 Artif公司。智力。 63，编号1-2，225-264（1993）. 审核人：A.Biela（卡托维兹） MSC公司：68N20型 68T50型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Stabler jun.}，阿蒂夫。智力。63，编号1--2225-264（1993；Zbl 0809.68080） 全文： 内政部
托马斯·艾特;乔治·戈特洛布 命题限定和扩展的封闭世界推理是（Pi_2^P）完备的。 （英语） Zbl 0786.68085号 西奥。计算。科学。 114，第2期，231-245（1993）. 审核人：V.Ya.公司。克雷诺维奇（埃尔帕索） MSC公司：68T27型 68吨15 65年第68季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{G.Gottlob}，Theor。计算。科学。114，No.2，231--245（1993；Zbl 0786.68085） 全文： 内政部
何塞·阿尔贝托·费尔南德斯;豪尔赫·洛博;敏克，杰克;苏布拉曼尼亚，V.S。 析取\（LP+\）完整性约束=稳定模型语义。 （英语） Zbl 1034.68507号 安。数学。Artif公司。智力。 8，编号3-4，449-474（1993）.MSC公司：68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Fernández}等人，《数学年鉴》。Artif公司。智力。8，编号3--4，449--474（1993；Zbl 1034.68507） 全文： 内政部
托马斯·艾特;乔治·戈特洛布 命题知识库修订、更新和反事实的复杂性。 （英语） Zbl 0763.68038号 Artif公司。智力。 57，编号2-3，227-270（1992）.MSC公司：65年第68季度 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{G.Gottlob}，Artif。智力。57，编号2--3，227--270（1992；Zbl 0763.68038） 全文： 内政部
马可·卡多利;托马斯·艾特;乔治·戈特洛布 从限定中消除可变谓词的有效方法。 （英语） 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） 全文： 内政部
苏布拉曼尼亚，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） 全文： 内政部
奇塔·巴拉尔;豪尔赫·洛博;杰克·明克尔 逻辑程序的广义析取良好语义。 （英语） Zbl 1034.68506号 安。数学。Artif公司。智力。 5，编号2-4，89-132（1992年）.MSC公司：68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人，《数学年鉴》。Artif公司。智力。5，编号2-4，89-132（1992年；兹bl 1034.68506） 全文： 内政部
豪尔赫·洛博;阿科特·拉贾塞卡尔;杰克·明克尔 Horn和析取逻辑程序的语义。 （英语） 兹比尔0746.8090 西奥。计算。科学。 86，第1期，93-106（1991）. 审核人：D.Savin（蒙特利尔） MSC公司：第68季度55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Lobo}等人，Theor。计算。科学。86，编号1，93--106（1991；Zbl 0744.68090） 全文： 内政部
广富美·卡苏诺（Hirofumi Katsuno） 闭世界假设在谓词中具有优先权。 （英语） Zbl 0711.68093号 新一代计算。 8，第3期，185-209（1990）.MSC公司：68T27型 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Katsuno}，新一代计算。8，第3号，185--209（1990；Zbl 0711.68093） 全文： 内政部
简·乔米奇;苏布拉曼尼亚，V.S。 广义闭世界假设是完备的。 （英语） Zbl 0695.68064号 信息处理。莱特。 34，No.6，289-291（1990）.MSC公司：68T99型 03天35分 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{J.Chomicki}和\textit{V.S.Subrahmanian}，Inf.Process。莱特。34，第6号，289--291（1990年；Zbl 0695.68064） 全文： 内政部
Eliezer L.洛津斯基。 在不确定演绎数据库中回答原子查询。 （英语） Zbl 0706.68043号 《国际情报杂志》。系统。 第4期，第403-429页（1989年）.MSC公司：第68页，共15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Lozinskii}，《国际情报杂志》。系统。4，第4号，403--429（1989；Zbl 0706.68043） 全文： 内政部
Przymusinski，Teodor C。 计算边界的算法。 （英语） Zbl 0663.68098号 Artif公司。智力。 38，No.1，49-73（1989）.MSC公司：68T99型 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Przymusinski}，阿蒂夫。智力。38，编号1，49--73（1989；Zbl 0663.68098） 全文： 内政部
迈克尔·盖尔芬德;哈利娜·普尔兹穆森斯卡;特奥多尔·普尔兹穆森斯基 论限定与否定作为失败的关系。 （英语） Zbl 0663.68097号 Artif公司。智力。 38，第1期，75-94（1989）.MSC公司：68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}等人，Artif。智力。38，第1号，75--94（1989；Zbl 0663.68097） 全文： 内政部
Kenneth A.Ross。;罗德尼·W·托珀。 从析取数据库推断负面信息。 （英语） Zbl 0662.68101号 J.汽车。推理 4，第4号，397-424（1988）. 审核人：A.Řiha MSC公司：68吨15 68第20页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Ross}和\textit{R.W.Topor}，J.Autom。推理4，No.4，397--424（1988；Zbl 0662.68101） 全文： 内政部