课程简介
研究
选定出版物
-
元解释学习中元规则的推导简化 Andrew Cropper和Sophie Tourret 编辑Fabrizio Riguzzi、Elena Bellodi和Riccardo Zese， 归纳逻辑编程——第28届国际会议“ILP 2018”意大利费拉拉 2018年9月2日-4日会议记录 . 第11105卷 计算机科学课堂讲稿。 第1-21页。 斯普林格。 2018 细节 关于 推导减少 元解释学习中的元规则 | BibTeX公司 的数据 元规则的派生约简 元解释学习 | 内政部（10.1007/978-3-319-999960-9\_1） | 链接 到 推导减少 元解释学习中的元规则 -
基于逻辑的高效程序归纳综合 安德鲁·克洛珀 在编辑Subbarao Kambhampati的文章中， 第二十五届国际人工智能联合会议记录 美国纽约州纽约市2016年7月9日至15日 . 第3980–3981页。 IJCAI/AAAI出版社。 2016 细节 关于 基于逻辑的电感 高效程序的综合 | BibTeX公司 的数据 基于逻辑的感应合成 高效程序的 | 链接 到 基于逻辑的感应合成 高效程序的 -
通过抽象和发明学习高阶逻辑程序 安德鲁·克洛珀（Andrew Cropper）和斯蒂芬·马格尔顿（Stephen H.Muggleton） 在编辑Subbarao Kambhampati的文章中， 第二十五届国际人工智能联合会议记录 美国纽约州纽约市2016年7月9日至15日 . 第1418-1424页。 IJCAI/AAAI出版社。 2016 细节 关于 学习更高阶 通过抽象和发明实现逻辑程序 | BibTeX公司 的数据 学习高阶逻辑 通过抽象和发明的程序 | 链接 到 学习高阶逻辑 通过抽象和发明的程序