Andrew Cropper

22 papers · 2015–2026 · 2 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🐝 Cross-Pollinator (10) 🌈 Renaissance Researcher (5) 🗺️ Taxonomy Completionist (31) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🏃 Academic Marathon (10) 🐺 Lone Wolf (6) 🏆 Keyword Champion (2) 🗃️ Keyword Collector (57) 📈 Trend Setter 💎 Century Club (19) 🔥 Unstoppable (7) ❓ The Questioner

Conferences

AAAI (12) IJCAI (10)

Top co-authors

Céline Hocquette (7) Sebastijan Dumancic (4) David M. Cerna (4) Matti Järvisalo (3) Stephen H. Muggleton (3) Andreas Niskanen (2) Johannes Langer (1) Filipe Gouveia (1) Rolf Morel (1) Minghao Liu (1)

Keywords

inductive logic programming (16) program synthesis (12) knowledge base (3) predicate invention (3) hypothesis space (3) answer set programming (2) program induction (2) logic program (2) inductive program synthesis (2) constraint optimisation (2) constraint solving (2) logical rule (2) sample complexity (2) knowledge refactoring (2) constraint satisfaction (1) predictive accuracy (1) automated reasoning (1) knowledge representation (1) few-shot learning (1) best-first search (1)

Papers

Symmetry Breaking for Inductive Logic Programming AAAI 2026

Can Humans Teach Machines to Code? AAAI 2026

Efficient Rule Induction by Ignoring Pointless Rules AAAI 2026

Relational Decomposition for Program Synthesis IJCAI 2025

Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025

Learning Big Logical Rules by Joining Small Rules IJCAI 2024

Learning Logic Programs by Discovering Higher-Order Abstractions IJCAI 2024

Generalisation through Negation and Predicate Invention AAAI 2024

Learning MDL Logic Programs from Noisy Data AAAI 2024

The Automatic Computer Scientist AAAI 2023

Relational Program Synthesis with Numerical Reasoning AAAI 2023

Learning Logic Programs by Discovering Where Not to Search AAAI 2023

Learning Logic Programs Though Divide, Constrain, and Conquer AAAI 2022

Knowledge Refactoring for Inductive Program Synthesis AAAI 2021

Forgetting to Learn Logic Programs AAAI 2020

Learning Large Logic Programs By Going Beyond Entailment IJCAI 2020

Turning 30: New Ideas in Inductive Logic Programming IJCAI 2020

Playgol: Learning Programs Through Play IJCAI 2019

Logic-Based Inductive Synthesis of Efficient Programs IJCAI 2016

Learning Higher-Order Logic Programs through Abstraction and Invention IJCAI 2016

Learning Efficient Logic Programs IJCAI 2015

Learning Efficient Logical Robot Strategies Involving Composable Objects IJCAI 2015