博客 swMATH ID: 22025 软件作者: 米尔奇,B。;Marthi,B。;罗素,S。;桑塔格,D。;Ong,D.L.公司。;A.科洛波夫。 描述: BLOG:具有未知对象的概率模型。本文介绍并说明了BLOG,一种用于定义具有未知对象和身份不确定性的世界上的概率模型的形式化语言。BLOG统一并扩展了几种现有方法。在受到某些非循环性约束的情况下,每个BLOG模型都在一阶模型结构上指定了唯一的概率分布,该模型结构可以包含变化的和无限数量的对象。此外,对于语言的大部分片段,存在完整的推理算法。我们还引入了一种概率形式的Skolemization来处理证据。 主页: https://dl.acm.org/citation.cfm?id=1642293.1642508 相关软件: 教堂;ProbLog(问题日志);伊巴尔;棱镜;漏洞;PREGO公司;MEBN公司;工厂;PITA公司;哈斯克尔;CP逻辑;ETPS公司;Dyna公司;贝叶斯OWL;家禽;KnowRob公司;菲加罗;PRMLT公司;kFOIL公司;斯坦 引用于: 40文件 全部的 前5名79位作者引用 6 瓦夏克·贝勒 6 吕克·德·雷德 3 法比奥·加利亚迪·科兹曼 3 Angelika Kimmig 3 Hector J.列夫斯克。 3 约翰·怀利·劳埃德 3 毛阿,Denis Deratani 3 吴基祥 2 丁内·德莱特 2 莉斯·盖图 2 戴维·尼蒂 2 威廉·T·B·乌瑟尔。 1 Jake K·阿加瓦尔。 1 斯蒂芬·巴赫。 1 凯瑟琳·布莱克蒙德·拉斯基 1 约翰·博格斯特罗姆 1 马蒂亚斯·布罗切勒 1 隆美尔·N·卡瓦略。 1 迈克尔·蒋 1 克莱恩,M。 1 保罗·C·G·科斯塔。 1 法比奥·科兹曼。 1 凯西奥·波尔波·德坎波斯 1 丽娜·德希特 1 道格·唐尼 1 俄勒冈州埃齐奥尼 1 范秀仪 1 冯启辉 1 保罗·弗雷斯科尼 1 高天祥 1 迈克尔·盖尔芬德 1 安德鲁·戈登。 1 迈克尔·D·格林伯格。 1 费边·哈迪吉 1 托马斯·亨德森。 1 阿扬·霍默索姆 1 伯特·黄 1 马库斯·赫特 1 曼弗雷德·贾格尔 1 乔纳森·凯恩(Jonathan M.Kane)。 1 克里斯蒂安·凯斯廷 1 哈桑·科斯拉维 1 亚瑟·E·柯克帕特里克。 1 奥列格·基塞利约夫 1 凯瑟琳·拉斯基。 1 刘大新 1 Peter J.F.卢卡斯。 1 何塞·爱德华多·奥乔亚·卢纳 1 詹姆斯·马盖特森 1 罗伯特·马泰斯库 1 温妮斯·梅特 1 米歇尔·斯特芬 1 莉莉亚娜·米哈尔科娃 1 阿马尔·米提奇 1 埃里克·姆约尔斯内斯 1 亚历杭德罗·莫利纳 1 斯里拉姆·纳塔拉扬 1 弗朗西斯科·奥西尼 1 菲奥拉·皮里 1 法布里西奥·里古齐 1 Ryoo,M.S。 1 萨查尼,D。 1 奥利弗·舒尔特 1 伯纳德·塞尔维诺夫斯基 1 斯蒂芬·索德兰 1 斯特凡妮·斯皮切特 1 莫汉·斯里德哈兰 1 佐尔坦·西尔维斯特 1 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 1 范登·布勒克,盖伊 1 尤尔根·范盖尔 1 玛丽娜·维利科娃 1 乔纳斯·弗拉塞勒 1 von Sydow,妈妈 1 大卫·莱昂内尔·温盖特 1 马特·沃林斯基 1 盖伊,尤西卜 1 张世奇 1 朱宇科 全部的 前5名13连载 9 人工智能 7 国际近似推理杂志 7 机器学习 4 应用逻辑杂志 3 数学与人工智能年鉴 1 数学心理学杂志 1 国际计算机视觉杂志 1 人工智能研究杂志 1 逻辑程序设计理论与实践 1 机器学习研究杂志(JMLR) 1 多值逻辑与软计算杂志 1 计算机科学中的逻辑方法 1 数学地球科学 全部的 前5名在7个字段中引用 37 计算机科学(68至XX) 9 统计学(62-XX) 7 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 1 地球物理学(86-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文