保罗·费拉里斯;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) 全文: 内政部
内拉坎坦省卡塔;埃斯拉·埃尔登;Lee,Joohyng先生;保罗·费拉里斯;任婉婉;尤利亚·利勒;杨芳凯;阿尔伯特·罗丹 弗拉基米尔·利夫希茨(Vladimir Lifschitz)——65岁的年轻人。 (英语) Zbl 1357.01006号 Erdem,Esra(编辑)等人,《正确的推理》。关于基于逻辑的人工智能的论文,以纪念Vladimir Lifschitz。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,14-23(2012)。MSC公司:01A70号 68-03 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kartha}等人,Lect。注释计算。科学。7265,14-23(2012;Zbl 1357.01006) 全文: 内政部