ProbLog（问题日志） swMATH ID: 6945 软件作者： Joris Renkens；范登·布勒克（Van Den Broeck），盖伊（Guy）；齐格弗里德·尼杰森 描述： ProbLog是一种基于Prolog的概率逻辑编程语言。基于不同的方法和提供不同的功能，提供了两种ProbLog实现。ProbLog1（简称ProbLog）专注于精确计算或使用各种近似方法计算给定查询的成功概率。ProbLog1还支持参数学习，包括从隐含学习和从解释学习设置。ProbLog1还支持决策理论推理。ProbLog2允许用户计算存在证据时任何数量的地面原子的边际概率（相比之下，ProbLog1的成功概率设置对应于只有一个查询而没有证据）。ProbLog2还支持解释学习设置中的参数学习。 主页： http://dtai.cs.kuleuven.be/problog/ 关键词： 概率规划;归纳逻辑程序设计;统计关系学习;决策论;近似推理 相关软件： 棱镜;PITA公司;CP逻辑;教堂;博客;YAP-序言;阿勒夫;PRMLT公司;MCINTYRE公司;SWI-预测;戴纳;cplint（cplint）;DeepProbLog（深度探测日志）;XSB公司;千ProbLog;亚当;工厂;雅高;氟氯化钙;菲加罗 引用于： 103出版物 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 \（k）-最优：一种新的ProbLog近似推理算法。 Zbl 1260.68067号乔里斯·伦肯斯;盖伊，范登·布勒克;齐格弗里德·尼杰森 2012 全部的 前5名188位作者引用 20 法布里西奥·里古齐 19 吕克·德·雷德 13 安吉丽卡·基米格 10 埃琳娜·贝洛迪 8 伊芙琳娜·拉姆 8 里卡多·泽斯 5 范登·布勒克，盖伊 4 瓦夏克·贝勒 4 塞兰、伊斯梅尔·伊尔坎 4 朱塞佩·科塔 4 伯恩德·古特曼 4 杰尔达·詹森斯 4 曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos） 4 大辅佐藤 三 亚历山大·阿提基斯 三 达米亚诺·阿佐利尼 三 莫里斯·布吕诺格 三 维托尔·桑托斯·科斯塔 三 保罗·弗雷斯科尼 三 乔治·巴利乌拉斯 三 罗马克里希南，C.R。 三 里卡多·罗查 三 亚历山德拉·拉索。 三 英戈·通 三 Joost Vennekens 2 马尔科·阿尔贝蒂 2 布罗达，Krysia B。 2 威廉·W·科恩。 2 安德鲁·克洛珀 2 詹姆斯·库森 2 丁内·德莱特 2 巴特·德梅恩 2 尼古拉·迪·毛罗 2 卢克·狄更斯 2 塞巴斯蒂安杜曼奇奇 2 井上，胜美 2 克里斯蒂安·凯斯廷 2 法律，Mark M。 2 Hector J.列夫斯克。 2 凯瑟琳·里瓦德·马扎蒂斯 2 温妮斯·梅特 2 史蒂芬·H·马格尔顿。 2 阿诺Nguembang Fadja 2 齐格弗里德·尼杰森 2 戴维·尼蒂 2 弗朗西斯科·奥西尼 2 拉斐尔·佩尼亚洛萨 2 乔里斯·伦肯斯 2 阿纳斯塔西奥斯·斯卡拉提迪斯 2 Swift，Terrance公司 2 斯特凡诺·特索 1 拉尔夫·阿布德 1 萨默尔·阿卜杜拉。 1 玛丽·阿纳斯塔西奥 1 贝鲁兹·巴巴基 1 迈克尔·贝恩（Michael E.Bain）。 1 叶夫根尼·巴莱 1 安东尼斯·比卡基斯 1 斯蒂法诺·比斯塔雷利 1 亨德里克·布洛克 1 伊万·布拉特科 1 大卫·布赫曼 1 米盖尔·卡列霍 1 费德里科·塞鲁蒂 1 多梅尼科·科尔皮 1 法布里西奥·科斯塔 1 阿德南·达尔维切 1 达萨罗，法比奥·奥雷里奥 1 格劳贝尔·德博纳 1 库尔特·德·格雷夫 1 托马斯·德梅斯特 1 马克·德内克 1 安东尼·迪·弗兰科 1 拉多斯拉夫·迪米特洛夫 1 Johannes Doleschal 1 安东·德里斯 1 斯特凡诺·费里利 1 费伦斯，大安 1 杰森·菲利波 1 马克·芬塔默 1 Peter A.Flach。 1 达尼·福金加 1 彼得·福赛斯（Peter A.Forsyth）。 1 米歇尔·弗拉卡罗利 1 法比奥·加利亚迪·科兹曼 1 马可·加瓦内利 1 迈克尔·盖尔芬德 1 莉斯·盖图 1 萨塔克·戈什 1 里沙布·戈尔 1 乔治·戈特洛布 1 顾涛 1 维克托·吉马朗斯 1 阿瑟·科伦比尼·古斯芒 1 本杰明·赫斯科特。 1 史蒂文·霍尔岑 1 阿扬·霍默索姆 1 霍尔格·H·胡斯。 1 安东尼·亨特 1 Masakazu Ishihata …还有88位作者 全部的 前5名14篇连载文章中引用 25 机器学习 17 逻辑程序设计理论与实践 15 国际近似推理杂志 13 人工智能 三 数学与人工智能年鉴 三 计算机科学中的逻辑方法 1 计算机与数学及其应用 1 自动推理杂志 1 人工智能研究杂志 1 IGPL逻辑杂志 1 机器学习研究杂志（JMLR） 1 ACM计算逻辑事务 1 多值逻辑与软计算杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 102 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 8 统计学（62-XX） 2 运筹学、数学规划（90-XX） 2 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文