Andrew Cropper

10 papers at tracked venues · 6 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×6 IJCAI ×3 ECAI ×1

Frequent coauthors

Céline Hocquette

×6

David M. Cerna

×4

Matti Järvisalo

×3

Andreas Niskanen

×2

Johannes Langer

×1

Ute Schmid

×1

Minghao Liu

×1

Filipe Gouveia

×1

Rolf Morel

×1

Sebastijan Dumancic

×1

Papers

Can Humans Teach Machines to Code?
AAAI 2026 ·
Céline Hocquette
,
Johannes Langer
, Andrew Cropper,
Ute Schmid
Efficient Rule Induction by Ignoring Pointless Rules
AAAI 2026 · Andrew Cropper,
David M. Cerna
Symmetry Breaking for Inductive Logic Programming
AAAI 2026 · Andrew Cropper,
David M. Cerna
,
Matti Järvisalo
Relational Decomposition for Program Synthesis
IJCAI 2025 ·
Céline Hocquette
, Andrew Cropper
Scalable Knowledge Refactoring Using Constrained Optimisation
AAAI 2025 ·
Minghao Liu
,
David M. Cerna
,
Filipe Gouveia
, Andrew Cropper
Generalisation through Negation and Predicate Invention
AAAI 2024 ·
David M. Cerna
, Andrew Cropper
Learning Big Logical Rules by Joining Small Rules
IJCAI 2024 ·
Céline Hocquette
,
Andreas Niskanen
,
Rolf Morel
,
Matti Järvisalo
, Andrew Cropper
Learning Logic Programs by Discovering Higher-Order Abstractions
IJCAI 2024 ·
Céline Hocquette
,
Sebastijan Dumancic
, Andrew Cropper
Learning Logic Programs by Finding Minimal Unsatisfiable Subprograms
ECAI 2024 · Andrew Cropper,
Céline Hocquette
Learning MDL Logic Programs from Noisy Data
AAAI 2024 ·
Céline Hocquette
,
Andreas Niskanen
,
Matti Järvisalo
, Andrew Cropper