安娜·齐安波里尼;伊芙琳娜·拉姆;保罗·梅洛 用于优化动态模块化逻辑语言的抽象解释框架。 (英语) Zbl 1022.68501号 信息处理。莱特。 58,第4期,163-170(1996).MSC公司:68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciampolini}等人,《Inf.过程》。莱特。58,第4号,163--170(1996;Zbl 1022.68501) 全文: 内政部
伊芙琳娜·拉姆;保罗·梅洛 一种基于假设的真相维护租赁系统,用于处理无根据的理由。 (英语) Zbl 0854.68017号 J.实验理论。Artif公司。智力。 8,第1期,21-42(1996).MSC公司:68N17号 68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lamma}和\textit{P.Mello},J.Exp.Theor。Artif公司。智力。8,第1号,第21--42条(1996;Zbl 0854.68017) 全文: 内政部