-
CP逻辑
- 17条引用[sw06947]
- 因果语言概率事件及其与逻辑 编程本文发展。。。与区域的相关性概率 逻辑 编程. 特别是，我们证明了。。。解释这些背后的直觉概率 逻辑 程序：我们可以确切地说是哪种知识。。。知识表示方法概率 逻辑 程序通过展示他们如何表达。。。
-
棱镜
- 在34篇文章中引用[sw23359]
- 程序不仅仅是概率扩展逻辑 程序但也能学习。。。知识表示语言概率推理，它可以描述各种类型的符号统计。。。
-
麦金太尔
- 引用8篇文章[sw22925]
- 麦金太尔：一个用于概率 逻辑 编程.概率 逻辑 编程正在接收。。。中的近似推理问题概率 逻辑 编程基于分布语义的语言。。。普通查询程序从概率 程序. ProbLog系统包括。。。
-
克雷托
- 引用3篇文章[sw06946]
- 通用集成开发环境概率归纳的逻辑 编程目前正在开发中。那个地区。。。概率归纳的逻辑 编程（或统计关系学习）旨在应用概率推理方法。。。区域内的框架概率归纳的逻辑 编程统计关系学习。目前，克雷托。。。提供一些关于概率归纳的逻辑 编程统计关系学习和说明。。。
-
弗里尔
- 引用了45篇文章【sw18490】
- 概率与模糊集。扩展逻辑 编程知识表示形式与方法。。。允许包含不确定性，如概率知识与模糊不完全性。描述应用程序。。。
-
普拉斯
- 引用2篇文章[sw18512]
- 工具概率推理基于逻辑 编程稳定模型下的一阶理论。。。本文描述了PrASP的软件框架概率答案集编程”). 普拉斯既是。。。机器学习软件和概率 逻辑 编程基于答案集的语言编程... 非单调（归纳）软件平台概率 逻辑 编程，我们的框架主要针对应用程序。。。
-
PFLP公司
- 引用2篇文章[sw28855]
- PFLP，一个图书馆概率 编程在功能上逻辑 编程语言咖喱。它证明了。。。功能性逻辑 编程语言支持库的实现概率 编程... 事实上，功能范式逻辑和概率 编程紧密相连。也就是说，语言。。。功能性逻辑 编程与随机记忆和概率选择。。。
-
普林尼
- 1条引用[sw09902]
- 普林尼：A概率 逻辑 程序新闻信息不一致的框架。新闻来源可靠地不可靠。。。过去在不一致性管理和次一致性方面的工作逻辑学假设我们有“干净”的定义。。。本文提出一个概率 逻辑 编程称为普林尼语的语言(概率 逻辑因为不一致。。。众所周知的广义注释的变体程序解释数值相似性的框架。。。
-
ProPPR公司
- 1条引用【sw32915】
- ProPPR：高效一阶概率 逻辑 编程对于结构发现、参数学习和可伸缩推理。。。支持高效的语义丰富的形式主义概率使用大量提取的信息进行推理。这个。。。可扩展概率 逻辑称为ProPPR，它进一步扩展了随机性逻辑 程序（SLP）到一个框架。。。图：使用外展二阶概率 逻辑，我们展示了一阶理论。。。
-
隐窝
- 引用4篇文章[sw28582]
- 浅埋概率功能性编程高级语言逻辑. 语言的特点是一元。。。黑盒子访问神谕。神谕是概率在不同的。。。
-
因式
- 引用13篇文章[sw08947]
- 因子：概率 编程通过强制定义的因子图。经过区分训练的无方向图形模型。。。语言，如SQL或一阶逻辑，我们提倡使用命令式语言。。。
-
FODD计划员
- 在14篇文章中引用[sw07747]
- 概率一阶决策图动态关系规划编程算法已成功应用。。。符号动力学编程把这些想法提出来逻辑使用几种表示方案。最近。。。
-
密度编译器
- 参考6篇文章[sw28659]
- 概率空间由程序在一个概率功能语言。在这项工作中，我们。。。直接在定理证明者的逻辑定义和证明是正确的。那么，这个。。。
