zbMATH中的参考文献（参考文献45篇文章,2标准条款)

1. 克罗珀，安德鲁；埃文斯，理查德；法律，马克：归纳的一般游戏玩法（2020）
2. 安杰洛普洛斯，尼科斯；Wielemaker，一月：大数据生物分析进展（2019）
3. 阿里亚斯，乔奎因；Carro，Manuel:使用表列CLP*评估抽象解释算法的实施（2019年）
4. 阿瑞亚斯，米格尔；Rocha，Ricardo:用于隐式和显式并行表评价的表空间设计（2018）
5. Warren，David S.：自上而下和自下而上的评估程序整合（2018）
6. 帕斯，阿林；扎维鲁卡，格森；Santos Costa，Vítor:关于使用随机局部搜索技术从实例中修正一阶逻辑理论（2017）
7. 里古兹，法布里齐奥；科塔，朱塞佩；贝洛迪，埃琳娜；Zese，Riccardo:cplint中的因果推理（2017）
8. 安杰洛普洛斯，尼科斯；撒母耳，阿卜杜拉；Giamas，Georgios：逻辑程序设计的综合统计进展（2016）
9. 桑托斯，Jõao；Rocha，Ricardo:关于多核集群的or并行Prolog系统的实现（2016）
10. 范登布鲁克，亚历山大；皮罗格，马西埃；Desoert，贝诺伊特；Schrijvers，Tom:Tabling with sound answer包容（2016年）
11. 贝洛迪，埃琳娜；Riguzzi，Fabrizio:通过搜索子句空间进行概率逻辑程序的结构学习（2015）
12. Desoert，贝诺伊特；范多伦，马尔科；Schrijvers，Tom：《作为带分隔控制的库的表列》（2015）
13. 迪莫罗，尼古拉；贝洛迪，埃琳娜；Riguzzi，Fabrizio:基于Bandit的概率逻辑程序的蒙特卡罗结构学习（2015）
14. 弗拉斯科尼，保罗；科斯塔，法布里齐奥；De Raedt，卢克；德格雷夫，库尔特：kLog：一种用内核进行逻辑和关系学习的语言（2014）
15. 曼塔德利斯，提奥弗拉斯托斯；罗查，里卡多；莫拉，保罗：表格，合理的术语，和创造最终在一起！（2014年）
16. 施里杰弗斯，汤姆；德蒙，巴特；特里斯卡，马库斯；Desouter，Benoit:\textscTor:带可挂接分离的模块化搜索（2014）
17. 斯威夫特，泰伦斯：支持知识表示和推理的增量表（2014）
18. 梁先生；Kifer，Michael:大型逻辑程序中不终止的实用分析（2013）
19. 科斯塔，维托尔桑托斯；罗查，里卡多；Damas，Luís:YAP-prolog系统（2012）
20. 斯威夫特，泰伦斯；Warren，David S.：XSB:用表逻辑编程扩展Prolog（2012）