Derivation Reduction of Metarules in Meta-interpretive Learning-Reference-Cited by-同舟云学术

Derivation Reduction of Metarules in Meta-interpretive Learning

Published:2018 Issue: Volume: Page:1-21
ISSN:0302-9743
Container-title:Inductive Logic Programming
language:
Short-container-title:

Author:

Cropper Andrew,Tourret Sophie

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-99960-9_1

Reference32 articles.

1. Lecture Notes in Computer Science;A Albarghouthi,2017

2. Bradley, A.R., Manna, Z.: The Calculus of Computation: Decision Procedures with Applications to Verification. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-74113-8

3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Cropper,2015

4. Cropper, A., Muggleton, S.H.: Learning higher-order logic programs through abstraction and invention. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, 9–15 July 2016, pp. 1418–1424. IJCAI/AAAI Press, New York (2016)

5. Cropper, A., Muggleton, S.H.: Metagol system (2016). https://github.com/metagol/metagol

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Meta-interpretive learning as metarule specialisation;Machine Learning;2022-04-15

2. Implementation of Rule Based Testing for Digital Circuits Using Inductive Logic Programming;Lecture Notes in Networks and Systems;2022

3. Top program construction and reduction for polynomial time Meta-Interpretive learning;Machine Learning;2021-02-08

4. Towards Meta-interpretive Learning of Programming Language Semantics;Inductive Logic Programming;2020

5. Learning higher-order logic programs;Machine Learning;2019-12-03