ProbLog(问题日志) swMATH ID: 6945 软件作者: Joris Renkens;范登·布勒克(Van Den Broeck),盖伊(Guy);齐格弗里德·尼杰森 描述: ProbLog是一种基于Prolog的概率逻辑编程语言。基于不同的方法和提供不同的功能,提供了两种ProbLog实现。ProbLog1(简称ProbLog)专注于精确计算或使用各种近似方法计算给定查询的成功概率。ProbLog1还支持参数学习,包括从隐含学习和从解释学习设置。ProbLog1还支持决策理论推理。ProbLog2允许用户计算存在证据时任何数量的地面原子的边际概率(相比之下,ProbLog1的成功概率设置对应于只有一个查询而没有证据)。ProbeLog2还支持从解释中学习设置中的参数学习。 主页: http://dtai.cs.kuleuven.be/problog/ 关键词: 概率规划;归纳逻辑程序设计;统计关系学习;决策论;近似推理 相关软件: 棱镜;PITA公司;CP逻辑;博客;教堂;YAP-序言;阿勒夫;SWI-预测;PRMLT公司;DeepProbLog(深度探测日志);MCINTYRE公司;戴纳;克林戈;XSB公司;雅高;TensorLog公司;亚当;cplint(cplint);千ProbLog;GOLEM公司 引用于: 119文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 \(k\)-最优:一种新的ProbLog近似推理算法。 Zbl 1260.68067号乔里斯·伦肯斯;盖伊,范登·布勒克;齐格弗里德·尼杰森 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 Tinne de Laet公司 2 巴特·德梅恩 2 尼古拉·迪·毛罗 2 卢克·狄更斯 2 塞巴斯蒂安杜曼奇奇 2 莉斯·盖图 2 顾涛 2 曼努埃尔·赫梅内吉尔多。 2 井上,Katsumi 2 克里斯蒂安·凯斯廷 2 Kuželka,安大略省 2 Hector J.列夫斯克。 2 托马斯·卢卡西维奇 2 凯瑟琳·里瓦德·马扎蒂斯 2 温妮斯·梅特 2 史蒂芬·H·马格尔顿。 2 阿诺Nguembang Fadja 2 齐格弗里德·尼杰森 2 戴维·尼蒂 2 弗朗西斯科·奥西尼 2 拉斐尔·佩尼亚洛萨 2 乔里斯·伦肯斯 2 阿纳斯塔西奥斯·斯卡拉提迪斯 2 Swift,Terrance公司 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 数学逻辑和基础(03-XX) 11 统计学(62-XX) 三 运筹学、数学规划(90-XX) 2 概率论与随机过程(60-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息和通信理论,电路(94-XX) 按年份列出的引文