拉斐尔·基塞尔;托蒂斯,彼得罗;Angelika Kimmig 超越加权模型计数的高效知识编译。 (英语) Zbl 07595322号 理论与实践。日志。程序。 22,第4号,505-522(2022).理学硕士:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kiesel}等人,《理论与实践》。日志。程序。22,第4号,505--522(2022;Zbl 07595322) 全文: 内政部 arXiv公司
维克托·贝辛;马库斯·赫彻;斯特凡·沃尔特兰 利用树宽对认知逻辑程序进行定量推理。 (英语) Zbl 1522.68100号 理论与实践。日志。程序。 21,第5号,575-592(2021).理学硕士:68N17号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{V.Besin}等人,《理论与实践》。日志。程序。21,第5号,575--592(2021;Zbl 1522.68100) 全文: 内政部 arXiv公司
达米亚诺·阿佐利尼;法布里西奥·里古齐 概率逻辑程序中的优化概率。 (英语) Zbl 1522.68097号 理论与实践。日志。程序。 21,第5号,543-556(2021).理学硕士:68N17号 68层37 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{D.Azzolini}和\textit{F.Riguzzi},理论与实践。日志。程序。21,第5号,543--556(2021;Zbl 1522.68097) 全文: 内政部 arXiv公司
埃琳娜·贝洛迪;马尔科·阿尔贝蒂;法布里西奥·里古齐;里卡多·泽斯 概率逻辑规划的MAP推理。 (英语) Zbl 1468.68051号 理论与实践。日志。程序。 第564-655号第20页(2020年).理学硕士:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellodi}等人,《理论与实践》。日志。程序。20,第5号,641--655(2020;Zbl 1468.68051) 全文: 内政部 arXiv公司
Wielemaker,简;法布里西奥·里古齐;罗伯特·A·科瓦尔斯基。;托比恩拉格;法里巴·萨德里;米格尔·卡莱霍 使用SWISH实现基于逻辑语言的交互式网络教程。 (英语) Zbl 1486.68029号 理论与实践。日志。程序。 19,第2期,229-261(2019).理学硕士:68N17号 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.Wielemaker}等人,《理论与实践》。日志。程序。19,第2号,229--261(2019;Zbl 1486.68029) 全文: 内政部 arXiv公司
Lee,Joohyng先生;萨米德塔尔萨尼亚;王毅 使用ASP和MLN解算器计算\(\mathrm{LP}^{\mathrm{MLN}}\)。 (英语) Zbl 1422.68026号 理论与实践。日志。程序。 17,编号5-6,942-960(2017).理学硕士:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}等人,《理论与实践》。日志。程序。17、编号5--6942--960(2017;Zbl 1422.68026) 全文: 内政部 arXiv公司
巴特·博加特;盖伊,范登·布勒克 使用近似不动点理论进行逻辑程序的知识编译。 (英语) Zbl 1379.68045号 理论与实践。日志。程序。 15,编号4-5464-480(2015).理学硕士:68N17号 68N20型 68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}和\textit{G.Van den Broeck},理论与实践。日志。程序。15,编号4--5,464--480(2015;Zbl 1379.68045) 全文: 内政部 arXiv公司