Program Induction

Selected Publications

View All

• Derivation Reduction of Metarules in Meta−interpretive Learning

  Andrew Cropper and Sophie Tourret

  In Fabrizio Riguzzi‚ Elena Bellodi and Riccardo Zese, editors, Inductive Logic Programming − 28th International Conference‚ ILP 2018‚ Ferrara‚ Italy‚ September 2−4‚ 2018‚ Proceedings. Vol. 11105 of Lecture Notes in Computer Science. Pages 1–21. Springer. 2018.

  Details about Derivation Reduction of Metarules in Meta−interpretive Learning | BibTeX data for Derivation Reduction of Metarules in Meta−interpretive Learning | DOI (10.1007/978-3-319-99960-9\_1) | Link to Derivation Reduction of Metarules in Meta−interpretive Learning

• Logic−Based Inductive Synthesis of Efficient Programs

  Andrew Cropper

  In Subbarao Kambhampati, editor, Proceedings of the Twenty−Fifth International Joint Conference on Artificial Intelligence‚ IJCAI 2016‚ New York‚ NY‚ USA‚ 9−15 July 2016. Pages 3980–3981. IJCAI/AAAI Press. 2016.

  Details about Logic−Based Inductive Synthesis of Efficient Programs | BibTeX data for Logic−Based Inductive Synthesis of Efficient Programs | Link to Logic−Based Inductive Synthesis of Efficient Programs

• Learning Higher−Order Logic Programs through Abstraction and Invention

  Andrew Cropper and Stephen H. Muggleton

  In Subbarao Kambhampati, editor, Proceedings of the Twenty−Fifth International Joint Conference on Artificial Intelligence‚ IJCAI 2016‚ New York‚ NY‚ USA‚ 9−15 July 2016. Pages 1418–1424. IJCAI/AAAI Press. 2016.

  Details about Learning Higher−Order Logic Programs through Abstraction and Invention | BibTeX data for Learning Higher−Order Logic Programs through Abstraction and Invention | Link to Learning Higher−Order Logic Programs through Abstraction and Invention