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