曼弗雷德·杰格 提升推理的复杂度下限。 (英语) Zbl 1379.68298号 理论与实践。日志。程序。 15,第2期,246-263(2015).MSC公司:68T27型 2017年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Jaeger},理论与实践。日志。程序。15,第2号,246--263(2015;Zbl 1379.68298) 全文: 内政部 arXiv公司
阿纳斯塔西奥斯·斯卡拉提迪斯;亚历山大·阿提基斯;杰森·菲利波;乔治·巴利乌拉斯 概率逻辑编程事件演算。 (英语) 兹比尔1379.68305 理论与实践。日志。程序。 15,第2期,213-245(2015).MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Skarlatidis}等人,《理论与实践》。日志。程序。15,第2号,213--245(2015;Zbl 1379.68305) 全文: 内政部 arXiv公司
埃琳娜·贝洛迪;法布里齐奥·里古齐 通过搜索子句空间实现概率逻辑程序的结构学习。 (英语) Zbl 1379.68269号 理论与实践。日志。程序。 15,第2期,169-212(2015).MSC公司:68T05型 68N17号 68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellodi}和\textit{F.Riguzzi},理论实践。日志。程序。15,第2号,169--212(2015;Zbl 1379.68269) 全文: 内政部 arXiv公司
大辅佐藤;久保田,Keiichi 维特比在PRISM培训。 (英语) Zbl 1379.68272号 理论与实践。日志。程序。 15,第2期,147-168(2015).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{K.Kubota},理论与实践。日志。程序。15,第2号,147--168(2015;Zbl 1379.68272) 全文: 内政部 arXiv公司
詹姆斯·库森(编辑);吕克·德·雷德(编辑);安吉丽卡·基米格(编辑);大辅佐藤(编辑) 介绍概率、逻辑和学习专题。 (英语) Zbl 1379.68005号 理论与实践。日志。程序。 15,第2期,145-146(2015).MSC公司:68-06 68N17号 68T05型 68T27型 68层37 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Cussens}(编辑)等人,《理论与实践》。日志。程序。15,第2号,145--146(2015;Zbl 1379.68005) 全文: 内政部