Metagol - an inductive logic programming system
-
Updated
Sep 13, 2021 - Prolog
#
program-synthesis
Here are 7 public repositories matching this topic...
C. Hocquette and A. Cropper, Learning programs with magic values.
-
Updated
Oct 5, 2022 - Prolog
C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
-
Updated
Feb 22, 2023 - Prolog
C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.
-
Updated
Feb 16, 2024 - Prolog
Céline Hocquette , Sebastijan Dumančić, and Andrew Cropper, Learning logic programs by discovering higher-order abstractions, IJCAI 2024.
-
Updated
Sep 5, 2024 - Prolog
C. Hocquette and A. Cropper, Relational decomposition for program synthesis, IJCAI25
-
Updated
May 15, 2025 - Prolog
C. Hocquette, A. Niskanen, R. Morel, M. Järvisalo, and A. Cropper, Learning big logical rules by joining small rules, IJCAI, 2024.
-
Updated
May 15, 2024 - Prolog
Improve this page
Add a description, image, and links to the program-synthesis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the program-synthesis topic, visit your repo's landing page and select "manage topics."