埃琳娜·贝洛迪;法布里齐奥·里古齐 通过搜索子句空间实现概率逻辑程序的结构学习。 (英语) 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公司
法布里齐奥·里古齐;Swift,Terrance公司 分布语义下概率逻辑规划的良好定义和有效推理。 (英语) Zbl 1267.68084号 理论与实践。日志。程序。 13,第2期,279-302(2013).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}和\textit{T.Swift},理论与实践。日志。程序。13,第2号,279--302(2013;Zbl 1267.68084) 全文: 内政部 arXiv公司
法布里齐奥·里古齐;Swift,Terrance公司 在带有注释析取的逻辑程序上进行推理的制表和答案包容。 (英语) 兹比尔1237.68049 Hermenegildo,Manuel(编辑)等人,第26届逻辑编程国际会议(ICLP 2010)的技术交流,2010年7月16日至19日,英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-17-0)。LIPIcs–莱布尼茨国际信息学会议录7,162-171,仅电子版(2010年)。MSC公司:68N17号 03B48 68层37 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}和\textit{T.Swift},LIPIcs——莱布尼茨国际程序。通知。7、162--171(2010年;Zbl 1237.68049) 全文: 内政部 链接