Andrew Cropper

CoRR, 2024

Scalable Knowledge Refactoring using Constrained Optimisation.

[BibT_eX]

[DOI]

CoRR, 2024

Can humans teach machines to code?

[BibT_eX]

[DOI]

CoRR, 2024

Learning Big Logical Rules by Joining Small Rules.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Learning Logic Programs by Discovering Higher-Order Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Learning Logic Programs by Finding Minimal Unsatisfiable Subprograms.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Learning MDL Logic Programs from Noisy Data.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Generalisation through Negation and Predicate Invention.

[BibT_eX]

[DOI]

David M. Cerna

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Learning logic programs by explaining their failures.

[BibT_eX]

[DOI]

Mach. Learn., October, 2023

Learning programs with magic values.

[BibT_eX]

[DOI]

Mach. Learn., May, 2023

Learning Logic Programs by Combining Programs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Relational Program Synthesis with Numerical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Learning Logic Programs by Discovering Where Not to Search.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

The Automatic Computer Scientist.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Inductive logic programming at 30.

[BibT_eX]

[DOI]

Mach. Learn., 2022

Inductive Logic Programming At 30: A New Introduction.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2022

Constraint-driven multi-task learning.

[BibT_eX]

[DOI]

Bogdan Cretu

CoRR, 2022

Learning programs by combining programs.

[BibT_eX]

[DOI]

CoRR, 2022

Learning Logic Programs Though Divide, Constrain, and Conquer.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Learning programs by learning from failures.

[BibT_eX]

[DOI]

Mach. Learn., 2021

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2021

Learning logic programs through divide, constrain, and conquer.

[BibT_eX]

[DOI]

CoRR, 2021

Parallel Constraint-Driven Inductive Logic Programming.

[BibT_eX]

[DOI]

Oghenejokpeme I. Orhobor

Cristian Dinu

CoRR, 2021

Predicate Invention by Learning From Failures.

[BibT_eX]

[DOI]

CoRR, 2021

Learning Logic Programs by Explaining Failures.

[BibT_eX]

[DOI]

CoRR, 2021

Knowledge Refactoring for Inductive Program Synthesis.

[BibT_eX]

[DOI]

Tias Guns

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Logical reduction of metarules.

[BibT_eX]

[DOI]

Mach. Learn., 2020

Learning higher-order logic programs.

[BibT_eX]

[DOI]

Mach. Learn., 2020

Inductive general game playing.

[BibT_eX]

[DOI]

Richard Evans

Mark Law

Mach. Learn., 2020

Knowledge Refactoring for Program Induction.

[BibT_eX]

[DOI]

CoRR, 2020

Turning 30: New Ideas in Inductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Learning Large Logic Programs By Going Beyond Entailment.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Learning Higher-Order Programs through Predicate Invention.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Forgetting to Learn Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Learning efficient logic programs.

[BibT_eX]

[DOI]

Mach. Learn., 2019

SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -.

[BibT_eX]

[DOI]

CoRR, 2019

SLD-Resolution Reduction of Second-Order Horn Fragments.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Typed Meta-interpretive Learning of Logic Programs.

[BibT_eX]

[DOI]

C.-H. Luke Ong

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Playgol: Learning Programs Through Play.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Derivation Reduction of Metarules in Meta-interpretive Learning.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

2017

Efficiently learning efficient programs.

[BibT_eX]

[DOI]

PhD thesis, 2017

2016

Learning Higher-Order Logic Programs through Abstraction and Invention.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Logic-Based Inductive Synthesis of Efficient Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Can predicate invention compensate for incomplete background knowledge?

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Scandinavian Conference on Artificial Intelligence, 2015

Typed meta-interpretive learning for proof strategies.

[BibT_eX]

[DOI]

Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

Meta-Interpretive Learning of Data Transformation Programs.

[BibT_eX]

[DOI]

Alireza Tamaddoni-Nezhad

Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Learning Efficient Logical Robot Strategies Involving Composable Objects.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Learning Efficient Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

Identifying and inferring objects from textual descriptions of scenes from books.

[BibT_eX]

[DOI]