棱镜

此软件的关键字
zbMATH中的参考文献(34篇文章中引用)
Srinivasan,Ashwin;Vig,Lovekesh;Shroff,Gautam:使用领域知识构建优化问题的生成逻辑模型(2020年) Balai,Evgenii;Gelfond,Michael;Zhang,Yuanlin:P-log:精化和新的一致性条件(2019) Ngumbang Fadja,Arnaud;Riguzzi,Fabrizio:提升概率逻辑程序的区分学习(2019) Abdallah,Samer:PRISM重访:使用多提示分隔控制的概率编程语言的声明性实现(2018) Bain,Michael;Srinivasan,Ashwin:使用元解释逻辑程序识别生物过渡系统(2018) Karabatsos,George;Leisen,Fabrizio:ABC方法的近似似然观点(2018) Angelopoulos,Nicos;Cussens,James:贝叶斯知识表示的分布式逻辑编程(2017) David Buchman;Poole,David:概率逻辑程序中的负概率(2017) Orsini,Francesco;Frasconi,Paolo;De Raedt,Luc:kProbLog:机器学习的代数序言(2017) Riguzzi,Fabrizio;Bellodi,Elena;Zese,Riccardo;Cota,Giuseppe;Lamma,Evelina:分布语义下概率逻辑规划的提升推理方法综述(2017) Riguzzi,Fabrizio;Cota,Giuseppe;Bellodi,Elena;Zese,Riccardo:cplint中的因果推理(2017) 张连义,罗奎明,青,杜正,王伟静,俞立新:随机构件系统的统计模型检验(2017) Nampally,Arun;Ramakrishnan,C.R.:使用提升解释的概率逻辑程序推理(2016) Nickles,Matthias:稳定模型语义下基于逻辑编程和一阶理论的概率推理工具(2016) Orsini,Francesco;Frasconi,Paolo;De Raedt,Luc:kProbLog:an代数Prolog for kernel Prolog(2016年) Alsanie,Waleed;Cussens,James:学习无故障棱镜计划(2015) De Raedt,Luc;Kimmig,Angelika:概率(逻辑)编程概念(2015) Michels,Steffen;Hommersom,Arjen;Lucas,Peter J.F.;Velikova,Marina:基于广义分布语义的新概率约束逻辑编程语言(2015) Van Ranst,Wiebe;Vennekens,Joost:CP逻辑前向采样算法的OpenCL实现(2015) Howard,Catherine;Stumptner,Markus:基于有向实体关系的一阶概率语言调查(2014)