雅普序言

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