Provenance for Probabilistic Logic Programs
Provenance for Probabilistic Logic Programs
复制标题
概率逻辑程序的起源
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Chen, Chen
中科院分区：
文献类型：
--
作者：
Wang, Shaobo;Lyu, Hui;Zhang, Jiachi;Wu, Chenyuan;Chen, Xinyi;Zhou, Wenchao;Loo, Boon Thau;Davidson, Susan B.;Chen, Chen
登录
查看更多内容
DOI：
10.1109/sfcs.1983.35
发表时间：
1983-11
期刊：
24th Annual Symposium on Foundations of Computer Science (sfcs 1983)
影响因子：
--
作者：
R. Karp;M. Luby
通讯作者：
R. Karp;M. Luby
独立选择逻辑及其他
DOI：
10.1007/978-3-540-78652-8_8
发表时间：
2008
期刊：
ArXiv
影响因子：
--
作者：
D. Poole
通讯作者：
D. Poole
Trio 数据不确定性和沿袭系统
影响因子：
7.5
作者：
C. Aggarwal
通讯作者：
C. Aggarwal
SlimShot：知识库的数据库内概率推理
影响因子：
2.5
作者：
Eric Gribkoff;Dan Suciu
通讯作者：
Dan Suciu
Bayonet：网络概率推理
DOI：
10.1145/3192366.3192400
发表时间：
2018
期刊：
PLDI 2018 Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Gehr, Timon;Misailovic, Sasa;Tsankov, Petar;Vanbever, Laurent;Wiesmann, Pascal;Vechev, Martin
通讯作者：
Vechev, Martin