伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的约束Horn子句的分析和转换。 (英语) Zbl 07776353号 理论与实践。日志。程序。 22,第6期,974-1042(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,《理论与实践》。日志。程序。22,第6号,974--1042(2022;Zbl 07776353) 全文: 内政部 arXiv公司 OA许可证
菲利普·科纳;Leuschel,迈克尔;乔昂·巴博萨;维托尔·桑托斯·科斯塔;维罗尼卡·达尔;曼努埃尔五世(Manuel V.Hermenegildo)。;何塞·莫拉莱斯(Jose F.Morales)。;Wielemaker,简;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;乔瓦尼·西亚托 五十年的序言及以后。 (英语) Zbl 07776350号 理论与实践。日志。程序。 22,第6号,776-858(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Körner}等人,《理论与实践》。日志。程序。22,编号6,776--858(2022;Zbl 07776350) 全文: 内政部 arXiv公司 OA许可证
尼特斯·库马尔;库泽·埃尔卡,Ondřej;吕克·德·雷德 学习用于关系自动完成的分布式程序。 (英语) Zbl 1530.68216号 理论与实践。日志。程序。 22,编号1,81-114(2022).MSC公司:68T05型 62D10号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kumar}等人,《理论与实践》。日志。程序。22,编号1,81--114(2022;Zbl 1530.68216) 全文: 内政部 arXiv公司 OA许可证
马蒂亚斯·兰辛格;斯特凡诺·斯费拉扎;乔治·戈特洛布 MV-Datalog\(+-\):有效的基于规则的推理,具有不确定的观察结果。 (英语) 兹伯利07595333 理论与实践。日志。程序。 22,第5号,678-692(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lanzinger}等人,《理论与实践》。日志。程序。22,编号5,678--692(2022;Zbl 07595333) 全文: 内政部 arXiv公司
拉斐尔·基塞尔;彼得罗·托蒂斯;安吉丽卡·基米格 超越加权模型计数的高效知识编译。 (英语) Zbl 07595322号 理论与实践。日志。程序。 22,第4号,505-522(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kiesel}等人,《理论与实践》。日志。程序。22,第4号,505--522(2022;Zbl 07595322) 全文: 内政部 arXiv公司
埃琳娜·贝洛迪;马可·加瓦内利;里卡多·泽斯;伊芙琳娜·拉姆;法布里西奥·里古齐 具有概率完整性约束的非地外推逻辑规划。 (英语) Zbl 1522.68099号 理论与实践。日志。程序。 21,第5期,557-574(2021).MSC公司:68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellodi}等人,《理论与实践》。日志。程序。21,第5号,557--574(2021;Zbl 1522.68099) 全文: 内政部 arXiv公司
达米亚诺·阿佐利尼;法布里西奥·里古齐 优化概率逻辑程序中的概率。 (英语) Zbl 1522.68097号 理论与实践。日志。程序。 2021年5月21日,第543-556号.MSC公司:68N17号 68层37 90立方厘米15 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{D.Azzolini}和\textit{F.Riguzzi},理论与实践。日志。程序。21,第5号,543--556(2021;Zbl 1522.68097) 全文: 内政部 arXiv公司
埃琳娜·贝洛迪;马尔科·阿尔贝蒂;法布里西奥·里古齐;里卡多·泽斯 概率逻辑规划的MAP推理。 (英语) Zbl 1468.68051号 理论与实践。日志。程序。 20,第5期,641-655(2020年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellodi}等人,《理论与实践》。日志。程序。20,第5号,641--655(2020;Zbl 1468.68051) 全文: 内政部 arXiv公司
里卡多·泽斯;朱塞佩·科塔;伊芙琳娜·拉姆;埃琳娜·贝洛迪;法布里西奥·里古齐 带有精确公式的概率DL推理:基于Prolog的方法。 (英语) Zbl 1472.68194号 理论与实践。日志。程序。 19,第3号,449-476(2019).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Zese}等人,《理论与实践》。日志。程序。19,第3449-476号(2019年;兹bl 1472.68194) 全文: 内政部 arXiv公司
Wielemaker,简;法布里西奥·里古齐;罗伯特·科瓦尔斯基。;托比恩拉格;法里巴·萨德里;米盖尔·卡列霍 使用SWISH实现基于逻辑语言的交互式网络教程。 (英语) Zbl 1486.68029号 理论与实践。日志。程序。 19,第2期,229-261(2019).MSC公司:68N17号 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.Wielemaker}等人,《理论与实践》。日志。程序。19,第2号,229--261(2019;Zbl 1486.68029) 全文: 内政部 arXiv公司
费伦斯,大安;盖伊,范登·布勒克;乔里斯·伦肯斯;迪米塔尔·施特里奥诺夫;伯恩德·古特曼;英戈·通;杰尔达·詹森斯;吕克·德·雷德 使用加权布尔公式的概率逻辑程序中的推理和学习。 (英语) Zbl 1379.68062号 理论与实践。日志。程序。 15,第3期,358-401(2015).MSC公司:68N17号 68T05型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Fierens}等人,《理论与实践》。日志。程序。15,第3号,358--401(2015;Zbl 1379.68062) 全文: 内政部 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号 理论与实践。日志。程序。 第145-146号第15页(2015年).MSC公司:68-06 68N17号 68T05型 第68页第27页 68层37 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Cussens}(编辑)等人,《理论与实践》。日志。程序。15,第2号,145--146(2015;Zbl 1379.68005) 全文: 内政部
伊斯兰教,穆罕默德·阿西富尔;罗马克里希南,C.R。;罗马克里希南,I.V。 连续随机变量概率逻辑程序中的推理。 (英语) Zbl 1260.68063号 理论与实践。日志。程序。 12,编号4-5,505-523(2012).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Islam}等人,理论与实践。日志。程序。12、编号4--5、505--523(2012;Zbl 1260.68063) 全文: 内政部 arXiv公司
伯恩德·古特曼;英戈·通;安吉丽卡·基米格;莫里斯·布吕诺格;吕克·德·雷德 概率规划中逻辑推理的魔力。 (英语) Zbl 1222.68060号 理论与实践。日志。程序。 11,编号4-5,663-680(2011).MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Gutmann}等人,《理论与实践》。日志。程序。11,编号4--5,663--680(2011;Zbl 1222.68060) 全文: 内政部 arXiv公司
法布里齐奥·里古齐;Swift,Terrance公司 PITA系统:建立和回答不确定性推理的包容。 (英语) 兹比尔1218.68169 理论与实践。日志。程序。 11,No.4-5,433-449(2011).MSC公司:68层37 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}和\textit{T.Swift},理论与实践。日志。程序。11,编号4--5,433--449(2011;Zbl 1218.68169) 全文: 内政部 arXiv公司
安吉丽卡·基米格;巴特·德梅恩;吕克·德·雷德;维托尔·桑托斯·科斯塔;里卡多·罗查 概率逻辑程序设计语言ProbLog的实现。 (英语) Zbl 1220.68037号 理论与实践。日志。程序。 11,编号2-3,235-262(2011).MSC公司:68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Kimmig}等人,《理论与实践》。日志。程序。11,编号2--3235-262(2011;Zbl 1220.68037) 全文: 内政部
Joost Vennekens;马克·德内克;莫里斯·布吕诺格 CP-logic:一种因果概率事件及其与逻辑编程的关系的语言。 (英语) Zbl 1179.68025号 理论与实践。日志。程序。 9,第3期,245-308(2009).MSC公司:68N17号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{J.Vennekens}等人,《理论与实践》。日志。程序。9,第3号,245--308(2009;Zbl 1179.68025) 全文: 内政部