达米亚诺·阿佐里尼;法布里西奥·里古齐 提升概率答案集编程中统计语句的推理。 (英语) Zbl 07776701号 国际J近似推理 163,文章ID 109040,17 p.(2023).MSC公司:68层37 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Azzolini}和\textit{F.Riguzzi},国际期刊近似推理163,文章ID 109040,17 p.(2023;Zbl 07776701) 全文: 内政部
达米亚诺·阿佐里尼;埃琳娜·贝洛迪;斯特凡诺·费里利;法布里西奥·里古齐;里卡多·泽斯 分布语义下概率逻辑编程的外推。 (英语) Zbl 07478937号 国际J近似推理 142, 41-63 (2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Azzolini}等人,国际期刊近似推理142,41-63(2022;Zbl 07478937) 全文: 内政部
帕斯夸尔·朱利安·伊兰佐;莫雷诺,吉纳斯;何塞·安东尼奥·里亚扎 模糊逻辑程序设计语言FASILL:设计与实现。 (英语) Zbl 1490.68073号 国际J近似推理 125, 139-168 (2020).MSC公司:68N17号 68甲15 第68季度55 68层37 PDF格式BibTeX公司 XML格式引用 \textit{P.Julián-Iranzo}等人,《国际近似推理》125,139--168(2020;Zbl 1490.68073) 全文: 内政部
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);斯蒂法诺·比斯塔雷利 概率抽象论证框架,一种可能的世界观。 (英语) Zbl 1434.68558号 国际J近似推理 119, 204-219 (2020).MSC公司:68T27型 68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{T.Mantadelis}和\textit{S.Bistarelli},《国际近似推理》119204-219(2020;Zbl 1434.68558) 全文: 内政部 链接
萨默·阿卜杜拉 重温PRISM:使用多提示分隔控制的概率编程语言的声明性实现。 (英语) 兹比尔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) 全文: 内政部
法布里西奥·里古齐;朱塞佩·科塔;埃琳娜·贝洛迪;里卡多·泽斯 cplint中的因果推理。 (英语) Zbl 1419.68034号 国际J近似推理 91, 216-232 (2017).MSC公司:68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}等人,《国际近似推理》91,216--232(2017;Zbl 1419.68034) 全文: 内政部 链接
乔纳斯·弗拉塞勒;盖伊,范登·布勒克;安吉丽卡·基米格;温妮斯·梅特;吕克·德·雷德 \(T_{mathcal{P}})-概率逻辑程序中推理的编译。 (英语) Zbl 1386.68174号 国际J近似推理 78, 15-32 (2016).MSC公司:68层37 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Vlasselaer}等人,《国际近似推理》78,15--32(2016;Zbl 1386.68174) 全文: 内政部
法布里西奥·里古齐 带有函数符号的普通程序的分布语义。 (英语) 兹比尔1385.68022 国际J近似推理 77, 1-19 (2016).MSC公司:第68季度55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi},《国际近似推理》77,1-19(2016;Zbl 1385.68022) 全文: 内政部 链接
范·兰斯特(Wiebe Van Ranst);Joost Vennekens CP-逻辑前向采样算法的OpenCL实现。 (英语) Zbl 1344.68045号 国际J近似推理 67, 60-72 (2015).MSC公司:68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{W.Van Ranst}和\textit{J.Vennekens},Int.J.近似推理67,60-72(2015;Zbl 1344.68045) 全文: 内政部
埃斯特班·格雷罗;胡安·卡洛斯·尼维斯;海伦娜·林格伦 基于语义的参数构造:一种答案集编程方法。 (英语) Zbl 1344.68222号 国际J近似推理 64, 54-74 (2015).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Guerrero}等人,《国际近似推理》64,54-74(2015;Zbl 1344.68222) 全文: 内政部
范洪乐;刘菲 模糊语言逻辑程序设计的表格证明程序。 (英语) Zbl 1346.68052号 国际J近似推理 63, 62-88 (2015).MSC公司:68N17号 03B52号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.H.Le}和\textit{F.Liu},《国际近似推理》63,62-88(2015;Zbl 1346.68052) 全文: 内政部
托马斯·卢卡西维奇 概率描述逻辑程序。 (英语) Zbl 1122.68027号 国际J近似推理 45,第2期,288-307(2007).MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Lukasiewicz},《国际近似推理》45,第2期,288--307(2007;Zbl 1122.68027) 全文: 内政部