罗尔夫·施维特 通过概率逻辑编程学习效果公理。 (英语) Zbl 1428.68286号 Rocha,Ricardo(ed.)等人,第33届逻辑编程国际会议的技术交流,ICLP 2017,2017年8月28日至9月1日,澳大利亚墨尔本。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。58,第8条,第15页(2018年)。MSC公司:68T27型 68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Schwitter},OASIcs--开放存取服务器。通知。58,第8条,第15页(2018;Zbl 1428.68286) 全文: 内政部
萨默·阿卜杜拉 重温PRISM:使用多提示分隔控制的概率编程语言的声明性实现。 (英语) Zbl 1448.68202号 国际J近似推理 103, 364-382 (2018).MSC公司:68甲15 68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Abdallah},Int.J.近似推理103,364--382(2018;Zbl 1448.68202) 全文: 内政部