奥费尔·阿列利;博格，安妮玛丽;克里斯蒂安·斯特拉 假设驱动的逻辑论证研究。 （英语） 兹伯利07732235 Artif公司。智力。 322，文章ID 103966，38 p.（2023）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}等人，Artif。智力。322，文章ID 103966，38 p.（2023；Zbl 07732235） 全文： 内政部
朱哈·科廷宁;马克斯·桑德斯特罗姆 关于TeamLTL和一阶团队逻辑对超属性的表达能力。 （英语） Zbl 07547748号 Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 302-318 (2021).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen}和\textit{M.SandströM}，莱克特。注释计算。科学。13038、302-318（2021；Zbl 07547748） 全文： 内政部 arXiv公司
刘晓龙;菲利普·贝斯纳德;西尔维·多特 从不一致度量中导出推理关系。 （英语） Zbl 07542363号 Vejnarová，Jiřina（编辑）等人，用符号和定量方法进行不确定性推理。第16届欧洲会议，ECSQARU 2021，捷克共和国布拉格，2021年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12897, 486-498 (2021).MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}等人，Lect。注释计算。科学。12897、486--498（2021；Zbl 07542363） 全文： 内政部 哈尔
乔瓦尼·阿蒙多拉;卡明·多达罗;沃尔夫冈·法伯;弗朗西斯科·里卡 准相干答案集计算。 （英语） Zbl 1520.68180号 Artif公司。智力。 299，文章ID 103519，31 p.（2021）.MSC公司：68T27型 03B53号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人，Artif。智力。299，文章ID 103519，31 p.（2021；Zbl 1520.68180） 全文： 内政部
克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇 由极小模型类诱导的怀疑、弱怀疑和轻信推理的性质和相互关系。 （英语） Zbl 1519.68245号 Artif公司。智力。 297，文章ID 103489，27 p.（2021）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}等人，Artif。智力。297，文章ID 103489，27 p.（2021；Zbl 1519.68245） 全文： 内政部
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 关于名词句法和置换不动点。 （英语） Zbl 1528.68152号 日志。方法计算。科学。 16，第1号，第19号论文，36页（2020年）.MSC公司：第68季度第42季度 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，日志。方法计算。科学。16，第1号，第19号论文，36页（2020年；Zbl 1528.68152） 全文： arXiv公司
Cárdenas-Viedma，医学硕士。;R·玛丽恩。 FTClogic：模糊时间约束逻辑。 （英语） Zbl 1423.03076号 模糊集系统。 363, 84-112 (2019).MSC公司：03B52号 03B44号 03B70号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Cárdenas-Viedma}和\textit{R.Marín}，模糊集系统。363、84-112（2019年；Zbl 1423.03076） 全文： 内政部
迈克尔·巴塞洛缪;Lee，Joohyng先生 具有内涵函数的一阶稳定模型语义。 （英语） Zbl 1478.68341号 Artif公司。智力。 273, 56-93 (2019).MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartholomew}和\textit{J.Lee}，Artif。智力。273，56-93（2019年；兹比尔1478.68341） 全文： 内政部
弗拉维奥·费拉罗蒂;塞恩·冈萨雷斯;克劳斯·迪特·施韦;图鲁尔·托雷斯，何塞·玛丽亚 用高阶逻辑对抽象状态机进行系统细化。 （英语） Zbl 1507.68113号 迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 204-218 (2018).MSC公司：04年第68季度 03B16号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferrarotti}等人，Lect。注释计算。科学。10817、204--218（2018；Zbl 1507.68113） 全文： 内政部
她，燕红;何晓丽;钱玉华;徐伟华;李金海 一种对不完全知识进行推理的定量方法。 （英语） Zbl 1440.68277号 信息科学。 451-452, 100-111 (2018).MSC公司：68T27型 03B42号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Y.She}等人，《信息科学》。451--452、100-111（2018；Zbl 1440.68277） 全文： 内政部
布图哈米，库拉;塞勒姆·本费哈特;费扎·赫拉夫;法里德·努伊奥瓦 基于产品的可能性理论框架中的不确定轻量级本体。 （英语） Zbl 1418.68197号 国际J近似推理 88, 237-258 (2017).MSC公司：68立方英尺 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{K.Boutouhami}等人，《国际近似推理》88，237--258（2017；Zbl 1418.68197） 全文： 内政部
少校布利特·伊斯伯纳;加布里埃尔·克恩·伊斯伯纳 语言理解中的似然推理和似然监控。 （英语） Zbl 1418.68198号 国际J近似推理 88, 53-71 (2017).MSC公司：68立方英尺 68T50型 91E10型 PDF格式BibTeX公司 XML格式引用 \textit｛M.-B.Isberner｝和\textit｛G.Kern-Isberner｝，Int.J.近似推理88，53-71（2017；Zbl 1418.68198） 全文： 内政部
尼科·波提卡;克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 在最佳熵语义下，关系概率信度状态的演化及其变化的计算的概念。 （英语） Zbl 1401.68326号 J.应用。日志。 13，第4号，第1部分，414-440（2015）.MSC公司：68层37 03B42号 03B48号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.Potyka}等人，J.Appl。日志。13，第4号，第1部分，414--440（2015；Zbl 1401.68326） 全文： 内政部
塞巴斯蒂安·卢茨 理论和模型的句法方法有什么正确之处？ （英语） Zbl 1329.03037号 埃尔肯特尼斯 79，补遗8，1475-1492（2014）.MSC公司：03A10号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lutz}，Erkentnis埃尔肯特尼斯79，1475-1492（2014；Zbl 1329.03037） 全文： 内政部 链接
罗伯托·孔瓦洛尼埃里;亨利·普拉德 使用可能性逻辑建模定性决策：答案集编程算法。 （英语） Zbl 1316.68173号 国际J近似推理 55，第2期，711-738（2014）.MSC公司：68层37 68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Confalonieri｝和\textit｛H.Prade｝，Int.J.近似推理55，第2期，711-738（2014；Zbl 1316.68173） 全文： 内政部
大卫·萨贝尔;曼弗雷德·施密特·沙乌 允许部分函数的严格函数程序属性的二值逻辑。 （英语） Zbl 1267.68088号 J.汽车。推理 50，第4期，383-421（2013）.MSC公司：68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Sabel｝和\textit｛M.Schmidt Schauß｝，J.奥托姆。推理50，No.4，383--421（2013；Zbl 1267.68088） 全文： 内政部
Christoph Wernhard公司 投影和范围确定的范围。 （英语） Zbl 1259.03025号 J.塞姆。计算。 47，第9期，1089-1108（2012）.MSC公司：03B35型 68吨15 68T27型 68立方英尺 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Wernhard}，J.Symb（J.塞姆）。计算。47，第9号，1089--1108（2012；Zbl 1259.03025） 全文： 内政部
史蒂文·肖卡特;亨利·普拉德 通过对原子命题的灵活解释解决信息合并中的冲突。 （英语） Zbl 1226.68104号 Artif公司。智力。 175，第11期，1815-1855（2011）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}和\textit{H.Prade}，Artif。智力。175，第11号，1815--1855（2011；Zbl 1226.68104） 全文： 内政部
佩德罗·卡巴拉尔;保罗·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） 全文： 内政部
安东尼·亨特;塞巴斯蒂安·科尼埃奇尼 关于冲突的度量：Shapley不一致值。 （英语） 兹比尔1210.68106 Artif公司。智力。 174，第14号，1007-1026（2010）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Hunter}和\textit{S.Konieczny}，Artif。智力。174，第14号，1007--1026（2010；Zbl 1210.68106） 全文： 内政部
尼克·威尔逊 将不确定性形式扩展到线性约束和其他复杂形式。 （英语） Zbl 1184.68525号 国际J近似推理 49，第1期，第83-98页（2008年）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{N.Wilson}，《国际近似推理》49，第1期，第83--98页（2008年；Zbl 1184.68525） 全文： 内政部
奥费尔·阿列利 通过迭代聚合距离函数，利用优先信息进行推理。 （英语） Zbl 1158.68499号 J.应用。日志。 6，第4号，589-605（2008）.MSC公司：68立方英尺 68层37 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}，J.Appl（J.应用程序）。日志。6，第4号，589--605（2008；Zbl 1158.68499） 全文： 内政部
家长，Xavier 关于奥奎斯特二元道义逻辑的强完备性。 （英语） 兹比尔1144.03016 范德梅登，罗恩（编辑）等，《计算机科学中的道义逻辑》。第九届国际会议，DEON 2008，卢森堡，卢森堡，2008年7月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70524-6/pbk）。计算机科学课堂讲稿5076。《人工智能课堂讲稿》，189-202年（2008年）。MSC公司：03B45号 03年05月 PDF格式BibTeX公司 XML格式引用 \textit｛X.家长｝，Lect。注释计算。科学。5076、189--202（2008；Zbl 1144.03016） 全文： 内政部
鲍尔丹，P。;A.Braccali。;R.布鲁尼。 开放流程的语义框架。 （英语） Zbl 1132.68042号 西奥。计算。科学。 389，第3期，446-483（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，Theor。计算。科学。389，第3号，446--483（2007；Zbl 1132.68042） 全文： 内政部 链接
吉尔根·吉斯尔;阿明·库内曼;贾尼斯·沃格特兰德 用于提高可证明性的去累积技术。 （英语） Zbl 1116.68077号 J.日志。阿尔盖布。程序。 71，第2号，79-113（2007）.MSC公司：68吨15 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人，J.Log。阿尔盖布。程序。71，No.2，79--113（2007；Zbl 1116.68077） 全文： 内政部
G.Belitskii。;利皮扬斯基，R。 勾股方程在各种幂零环中的统一型。 （英语） Zbl 1159.16016号 J.塞姆。计算。 41，第1期，67-79（2006）.MSC公司：16兰特 16号40 16赫兹05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.Belitskii}和\textit{R.Lipyanski}，J.Symb。计算。41，第1号，67-79（2006年；兹bl 1159.16016） 全文： 内政部
迈克尔·霍切;彼得·萨博 基本制服。 （英语） Zbl 1108.03019号 J.应用。日志。 4，第1号，1-25（2006）. 审核人：Nail Zamov（喀山） MSC公司：03B35型 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoche}和\textit{P.Szabó}，J.Appl。日志。4、编号1、1--25（2006；Zbl 1108.03019） 全文： 内政部
Peter J.F.卢卡斯。 通过定性模式进行贝叶斯网络建模。 （英语） Zbl 1132.68772号 Artif公司。智力。 163，第2期，233-263（2005）.MSC公司：68层37 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.J.F.Lucas}，阿蒂夫。智力。163，第2号，233--263（2005；Zbl 1132.68772） 全文： 内政部
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 有界高阶统一的判定性。 （英语） Zbl 1126.03017号 J.塞姆。计算。 40，第2期，905-954（2005）.MSC公司：03B25号 03B40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛M.Schmidt Schauß｝和\textit｛K.U.Schulz｝，J.Symb。计算。40，第2号，905--954（2005；Zbl 1126.03017） 全文： 内政部 链接
文卡特斯·乔佩拉;克里斯托弗·海恩斯（Christopher T.Haynes）。 源跟踪统一。 （英语） Zbl 1088.68026号 Inf.计算。 201，第2期，121-159（2005）.MSC公司：68N17号 68吨15 65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit｛V.Choppella｝和\textit｛C.T.Haynes｝，信息计算。201，第2号，121--159（2005；Zbl 1088.68026） 全文： 内政部
格特·德库曼 模糊概率评估的行为模型。 （英语） Zbl 1123.62006年 模糊集系统。 154，第3号，305-358（2005）.MSC公司：62A01型 PDF格式BibTeX公司 XML格式引用 \textit｛G.de Cooman｝，模糊集系统。154，第3号，305-358（2005；Zbl 1123.62006） 全文： 内政部
曼弗雷德·施密特·沙乌 有界二阶统一的判定性。 （英语） Zbl 1078.68139号 Inf.计算。 188，第2期，143-178（2004）.MSC公司：68吨15 03B35型 03B40型 03B25号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}，Inf.计算。188，第2号，143--178（2004；Zbl 1078.68139） 全文： 内政部 链接
帕斯卡·乌尔索;伊曼纽尔·库纳利斯 数学归纳法中的合理概括。 （英语） Zbl 1078.68141号 西奥。计算。科学。 323，编号1-3，443-471（2004）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Urso}和\textit{E.Kounalis}，Theor。计算。科学。323，编号1--3，443--471（2004；Zbl 1078.68141） 全文： 内政部
伊恩·米格尔;沈强 模糊DFCSP和规划。 （英语） Zbl 1082.68810号 Artif公司。智力。 148，编号1-2，11-52（2003）.MSC公司：68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{I.Miguel}和\textit{Q.Shen}，Artif。智力。148，编号1--2，11-52（2003；Zbl 1082.68810） 全文： 内政部
特蕾莎·阿尔辛;路易斯·戈多;桑德拉·桑德里 具有上下文相关模糊统一的扩展可能性逻辑编程的两种形式：比较描述。 （英语） Zbl 1270.68058号 Patrick Eklund等人，《联合国海洋法公约》，2002年。非经典逻辑中的统一。2002年7月12日，西班牙马拉加ICALP卫星研讨会上的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》66，第5期，1-21页（2002年）。MSC公司：68N17号 03B35型 03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit｛T.Alsinet｝等人，电子。注释Theor。计算。科学。66，第5号，1-21（2002；Zbl 1270.68058） 全文： 内政部
迈克尔·盖尔芬德;尼古拉·利昂 逻辑编程和知识表示——A-Prolog视角。 （英语） Zbl 0995.68022号 Artif公司。智力。 138，编号1-2，3-38（2002）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{N.Leone}，Artif。智力。138，编号1--2，3--38（2002；Zbl 0995.68022） 全文： 内政部
迈克尔·泰尔舍尔 限定问题：异常模型问题的解决方案。 （英语） Zbl 0996.68186号 Artif公司。智力。 131，第1-2、1-37号（2001年）.MSC公司：68T20型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Thielscher}，阿蒂夫。智力。131，编号1--2，1--37（2001；Zbl 0996.68186） 全文： 内政部
Cárdenas Viedma，医学硕士。;Marín Morales，R。;纳瓦雷特·桑切斯，I。 模糊时间约束逻辑：有效的解决原则。 （英语） Zbl 0984.03021号 模糊集系统。 117，第231-250号（2001年）.MSC公司：03B52号 68层37 68N17号 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Cárdenas Viedma}等人，模糊集系统。117，编号2，231--250（2001；Zbl 0984.03021） 全文： 内政部
Leitgeb，H。 抑制网络的非单调推理。 （英语） Zbl 0976.68122号 Artif公司。智力。 128，编号1-2161-201（2001）.MSC公司：68T05型 68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Leitgeb}，阿蒂夫。智力。128，编号1--2，161--201（2001；Zbl 0976.68122） 全文： 内政部
儿子，T.C。;巴拉尔，C。 形式化传感动作——基于过渡函数的方法。 （英语） Zbl 0969.68152号 Artif公司。智力。 125，第1-2号，第19-91号（2001年）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Son}和\textit{C.Baral}，Artif。智力。125，编号1--2，19-91（2001；Zbl 0969.68152） 全文： 内政部
格特·德库曼;张广全;艾蒂安·凯尔（Etienne E.Kerre）。 定义在完备格上的可能性测度和可能性积分。 （英语） Zbl 1017.28010号 模糊集系统。 120，第3期，459-467（2001）. 审核人：Radko Mesiar（布拉迪斯拉发） MSC公司：28E10型 2010年6月 60安培99 PDF格式BibTeX公司 XML格式引用 \textit{G.de Cooman}等人，《模糊集系统》。120，第3号，459--467（2001；Zbl 1017.28010） 全文： 内政部
弗兰兹·巴德;巴利亚特·纳伦德兰 描述逻辑中概念术语的统一。 （英语） Zbl 0970.68166号 J.塞姆。计算。 31，第3期，277-305（2001）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{P.Narendran}，J.Symb。计算。31，第3号，277--305（2001；Zbl 0970.68166） 全文： 内政部 链接
托马斯·艾特;茨城，东芝;Kazuhisa Makino 论霍恩理论的差异。 （英语） Zbl 0971.68076号 J.计算。系统。科学。 61，第3期，478-507（2000）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，《计算杂志》。系统。科学。61，编号3，478-507（2000年；兹bl 0971.68076） 全文： 内政部
南卡罗来纳州麦克莱思。 集成动作和状态约束：分支问题的封闭式解决方案（有时）。 （英语） Zbl 0939.68840号 Artif公司。智力。 116，编号1-2，87-121（2000）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.A.McIlraith}，阿蒂夫。智力。116，编号1--2，87-121（2000；Zbl 0939.68840） 全文： 内政部
曼弗雷德·施密特·沙乌 分布式统一的决策算法。 （英语） Zbl 0912.68060号 西奥。计算。科学。 208，编号1-2，111-148（1998）.MSC公司：68宽10 PDF格式BibTeX公司 XML格式引用 \文本{M.Schmidt-Schauß}，Theor。计算。科学。208，编号1--2，111-148（1998；Zbl 0912.68060） 全文： 内政部
迈克尔·泰尔舍尔 行动推理：稳定与稳定状态约束。 （英语） Zbl 0909.68136号 Artif公司。智力。 104，编号1-2，339-355（1998）.MSC公司：68T01型 PDF格式BibTeX公司 XML格式引用 \textit{M.Thielscher}，阿蒂夫。智力。104，编号1--2，339--355（1998；Zbl 0909.68136） 全文： 内政部
奇塔·巴拉尔;阿尔弗雷多·加巴登;亚历山德罗·普罗维蒂 使用嵌套限定将叙述形式化。 （英语） Zbl 0908.68121号 Artif公司。智力。 104，编号1-2107-164（1998）.MSC公司：68T01型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人，Artif。智力。104，编号1--2，107-164（1998；Zbl 0908.68121） 全文： 内政部
加布里埃尔·克恩·伊斯伯纳 在条件逻辑框架内表征最小交叉熵原理。 （英语） Zbl 0903.68181号 Artif公司。智力。 98，第1-2号，169-208（1998）.MSC公司：68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{G.科恩·伊斯伯纳}，阿蒂夫。智力。98，编号1--2，169-208（1998；Zbl 0903.68181） 全文： 内政部
安德烈·基西列维奇 交换半群中的统一。 （英语） Zbl 0898.20037号 J.代数 200，第1246-257号（1998年）. 审核人：G.I.Zhitomirskij（萨拉托夫） MSC公司：2005年5月20日 2014年11月20日 PDF格式BibTeX公司 XML格式引用 \textit{A.Kisielewicz}，J.代数200，第1期，246--257（1998；Zbl 0898.20037） 全文： 内政部 链接
Wan Fokkink公司 有限项之间无限组方程的统一。 （英语） Zbl 1337.68238号 信息处理。莱特。 62，第4期，183-188页（1997年）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}，Inf.过程。莱特。62，第4号，183--188（1997；Zbl 1337.68238） 全文： 内政部
Bondarenko，A。;邓，P.M。;科瓦尔斯基，R.A。;托尼，F。 默认推理的抽象论证理论方法。 （英语） Zbl 1017.03511号 Artif公司。智力。 93，第1-2号，第63-101页（1997年）.MSC公司：03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bondarenko}等人，Artif。智力。93，编号1--2，63-101（1997；Zbl 1017.03511） 全文： 内政部
弗拉基米尔·利夫希茨 关于因果解释的逻辑。 （英语） Zbl 0901.03022号 Artif公司。智力。 96，第2期，451-465（1997）.MSC公司：03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}，阿蒂夫。智力。96，第2号，451--465（1997；Zbl 0901.03022） 全文： 内政部
恩里科·金西格里亚;G.Neelakantan Kartha;弗拉基米尔·利夫希茨 代表行动：不确定性和后果。 （英语） Zbl 0894.68140号 Artif公司。智力。 95，第2期，409-438（1997）.MSC公司：68T99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，Artif。智力。95，第2号，409--438（1997；Zbl 0894.68140） 全文： 内政部
伯恩哈德·格拉姆利希 通过并行关键对汇流而不终止。 （英语） Zbl 1508.68156号 Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，1996年4月22日至24日，瑞典林雪平。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 211-225 (1996).MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Gramlich}，莱克特。注释计算。科学。1059211-225（1996年；Zbl 1508.68156） 全文： 内政部 链接