约翰内斯·马蒂;里卡多·皮诺西奥 因果方程的相似阶。 (英文) Zbl 1432.03044号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 500-513 (2014).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marti}和\textit{R.Pinosio},莱克特。注释计算。科学。8761500-513(2014;Zbl 1432.03044) 全文: 内政部
弗拉基米尔·利夫希茨;杨芳凯 功能完成。 (英文) Zbl 1400.68205号 J.应用。非类别。日志。 23,编号1-2,121-130(2013).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}和\textit{F.Yang},J.Appl。非类别。日志。23、编号1--2、121-130(2013;Zbl 1400.68205) 全文: 内政部
保罗·费拉里斯;Lee,Joohyng先生;尤利亚·利勒;弗拉基米尔·利夫希茨;杨芳凯 用逻辑程序表示一阶因果理论。 (英文) Zbl 1247.68043号 理论与实践。日志。程序。 12,第3期,383-412(2012).MSC公司:68N17号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Ferraris}等人,《理论与实践》。日志。程序。12,第3号,383--412(2012;Zbl 1247.68043) 全文: 内政部
弗拉基米尔·利夫希茨;杨芳凯 从非单调因果理论中消除函数符号。 (英文) Zbl 1341.68215号 Lakemeyer,Gerhard(编辑)等人,《了解、推理和行动》。为纪念Hector J.Levesque而写的论文。伦敦:学院出版物(ISBN 978-1-84890-044-8/hbk)。致敬16,307-323(2011)。MSC公司:68T27型 03B60号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}和\textit{F.Yang},《致敬》16,307--323(2011;Zbl 1341.68215)
迈克尔·卡索拉里;Lee,Joohyng先生 在答案集编程中表示因果计算器的语言。 (英文) Zbl 1245.68048号 Gallagher,John P.(编辑)等人,第27届逻辑编程国际会议的技术交流(ICLP 2011),美国肯塔基州列克星敦,2011年7月6日至10日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-31-6)。LIPIcs–莱布尼茨国际信息学会议录11,51-61,仅电子版(2011年)。MSC公司:68N17号 03B70号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Casolary}和\textit{J.Lee},LIPIcs——莱布尼茨国际程序。通知。11、51-61(2011;Zbl 1245.68048) 全文: 内政部 链接
亚历山大·波奇曼 解释性非单调推理。 (英文) Zbl 1092.68092号 逻辑的进展4.新泽西州哈肯萨克:世界科学(ISBN 981-256-101-3/hbk;978-981-256-780-2/电子书)。xiv,408页。(2005). 审核人:克里斯蒂安·波斯托夫(圣奥古斯丁) MSC公司:68T27型 68-02 68N17号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bochman},解释性非单调推理。新泽西州哈肯萨克:《世界科学》(2005;Zbl 1092.68092) 全文: 内政部 链接
特纳,H。 普遍因果关系的逻辑。 (英文) Zbl 0940.03031号 Artif公司。智力。 113,编号1-2,87-123(1999).MSC公司:03B60号 68T27型 68立方英尺 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Turner},阿蒂夫。智力。113,编号1--2,87-123(1999;Zbl 0940.03031) 全文: 内政部
约翰·贝尔 基于模型的预测因果推理方法。 (英文) Zbl 0899.03019号 帕特里克·多尔蒂(编辑),《偏爱、情态和非单调性》。加利福尼亚州斯坦福:CSLI出版物。逻辑、语言和信息研究。169-195 (1996).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bell},in:党派性、模态和非单调性。加利福尼亚州斯坦福:CSLI出版物。169-195(1996年;兹bl 0899.03019)