ProbLog公司

ProbLog是一种基于Prolog的概率逻辑程序设计语言。有两个ProbLog实现可用,它们基于不同的方法和提供不同的功能。ProbLog1,简称ProbLog,专注于计算给定查询的成功概率,无论是精确计算还是使用各种近似方法。ProbLog1还支持参数学习,无论是从蕴涵学习还是从解释中学习。ProbLog1还支持决策理论推理。ProbLog2允许用户在证据存在的情况下计算任何数量的基础原子的边际概率(相比之下,ProbLog1的成功概率设置对应于只有一个查询而没有证据)。ProbLog2还支持“从解释中学习”设置中的参数学习。


zbMATH中的参考文献(参考文献83篇文章,1标准件)

显示83个结果中的1到20个。
按年份排序(引用)
  1. 王斌;沈俊;张树涛;张志正:(\mathrmLP^MLN)程序的强等价性(2021)
  2. 贝莉,维沙克;De Raedt,Luc:半环规划:广义和积问题的语义框架(2020)
  3. 贝莉,维沙克;Levor级数和随机回归(2020)
  4. 贝洛迪,埃琳娜;阿尔贝蒂,马可;里古兹,法布里齐奥;Zese,Riccardo:概率逻辑编程的地图推理(2020)
  5. 科恩,威廉;杨,范;Mazaitis,Kathryn Rivard:TensorLog:使用深度学习基础设施实现的概率数据库(2020)
  6. 克罗珀,安德鲁;埃文斯,理查德;法律,马克:归纳的一般游戏玩法(2020)
  7. 德萨罗,法比奥·奥雷里奥;比卡基斯,安东尼;狄更斯,卢克;米勒,罗伯:认知行为叙事的概率推理(2020)
  8. 卡泽米,赛义德梅赫兰;歌尔,里沙布;耆那,克希提;科比泽夫,伊万;塞提,阿克夏;福塞斯,彼得;Poupart,Pascal:动态图的表示学习:调查(2020)
  9. 科尔布,塞缪尔;特索,斯特凡诺;干,安东;De Raedt,Luc:带约束的预测电子表格自动完成(2020)
  10. 曼塔德利斯,提奥弗拉斯托斯;Bistarelli,Stefano:概率抽象论证框架,一个可能的世界观(2020)
  11. 巴拉伊,叶甫盖尼;盖尔方德,迈克尔;张元林:P-log:精化与新的相干条件(2019)
  12. 迪弗兰科,安东尼:信息增益计算在\textscFifthsystem(2019)
  13. 吉马尔ã是的,维克托;帕斯,阿林;Zaverucha,Gerson:基于ProPPR实例的在线概率理论修正(2019)
  14. Nguembang Fadja,阿诺;Riguzzi,Fabrizio:提升概率逻辑程序的区分学习(2019)
  15. Sandra Dylus,Jan Christiansen,Finn Teegen:使用非严格非确定性实现概率规划库(2019)阿尔十四
  16. 维埃拉·德法里亚,弗朗西斯科·H。O、 。;喷泉ão、 阿瑟·科伦比尼;德博纳,格劳伯;á, 德尼斯德拉塔尼;Cozman,Fabio Gagliardi:加速非循环概率逻辑程序的参数和规则学习(2019)
  17. 维莱梅克,简;里古兹,法布里齐奥;科瓦尔斯基,罗伯特A。;啤酒,托比ö注册护士;萨德里,法里巴;Miguel Calejo:使用SWISH实现基于逻辑语言的交互式web教程(2019)
  18. Abdallah,Samer:PRISM重访:使用多提示分隔控制的概率编程语言的声明性实现(2018)
  19. 贝恩,迈克尔;Srinivasan,Ashwin:使用元解释逻辑程序识别生物过渡系统(2018)
  20. 贝莉,维沙克;Leveque,Hector J.:关于动力系统中离散和连续噪声传感器和效应器的推理(2018)