ProbLog公司

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


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

显示第1到第20个结果,共82个。
按年份排序(引用)
  1. Belle,Vaishak;De Raedt,Luc:半环规划:广义和积问题的语义框架(2020)
  2. Belle,Vaishak;Levesque,Hector J.:随机域中的回归和级数(2020)
  3. Bellodi,Elena;Alberti,Marco;Riguzzi,Fabrizio;Zese,Riccardo:概率逻辑编程的地图推理(2020)
  4. Cohen,William;Yang,Fan;Mazaitis,Kathryn Rivard:TensorLog:使用深度学习基础设施实现的概率数据库(2020)
  5. 安德鲁·克罗珀(Andrew Cropper);理查德·埃文斯(Evans),理查德(Richard);法律,马克(Mark):归纳式一般游戏玩法(2020年)
  6. D'Asaro,Fabio Aurelio;Bikakis,Antonis;Dickens,Luke;Miller,Rob:《认知行为叙事的概率推理》(2020)
  7. 《学习》;《动态图》;《学习》;《动态图》;第五章
  8. Kolb,Samuel;Teso,Stefano;Dries,Anton;De Raedt,Luc:带约束的预测电子表格自动完成(2020)
  9. Mantadelis,Theofrastos;Bistarelli,Stefano:概率抽象论证框架,一个可能的世界观(2020)
  10. Balai,Evgenii;Gelfond,Michael;Zhang,Yuanlin:P-log:精化和新的一致性条件(2019)
  11. 迪弗兰科,安东尼:信息增益计算在\textscFifthsystem(2019)
  12. Guimarães,Victor;Paes,Aline;Zaverucha,Gerson:基于ProPPR实例的在线概率理论修正(2019)
  13. Ngumbang Fadja,Arnaud;Riguzzi,Fabrizio:提升概率逻辑程序的区分学习(2019)
  14. Sandra Dylus,Jan Christiansen,Finn Teegen:使用非严格非确定性实现概率规划库(2019)阿尔十四
  15. Vieira de Faria,Francisco H.O.;GusmãO,Arthur Colombini;de Bona,Glauber;Mauá,Denis Deratani;Cozman,Fabio Gagliardi:加速非循环概率逻辑程序的参数和规则学习(2019年)
  16. Wielemaker,Jan;Riguzzi,Fabrizio;Kowalski,Robert A.;Lager,Torbjörn;Sadri,Fariba;Calejo,Miguel:使用SWISH实现基于逻辑语言的交互式网络教程(2019年)
  17. Abdallah,Samer:PRISM重访:使用多提示分隔控制的概率编程语言的声明性实现(2018)
  18. Bain,Michael;Srinivasan,Ashwin:使用元解释逻辑程序识别生物过渡系统(2018)
  19. Belle,Vaishak;Levesque,Hector J.:关于动力系统中离散和连续噪声传感器和效应器的推理(2018)
  20. Kojima,Ryosuke;Sato,Taisuke:学习在PRISM中排名(2018)