Concepedia

Andrew Cropper

AC

Statistics

Publications

5

Citations

212

H-Index

5

Active since

2015

Affiliations

Imperial College London(Current)

University of Oxford

Andrew Cropper is an author at Imperial College London specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningArtificial IntelligenceData ScienceMachine LearningIntelligent SystemsSemantics

Publications per year

2015–2022

5

Publications

5

Inductive Logic Programming At 30: A New Introduction

Andrew Cropper, Sebastijan Dumančić · Journal of Artificial Intelligence Research · 2022 · 63 citations · Full text

Artificial Intelligence, Symbolic Learning, Ilp System +11

Inductive logic programming at 30

Andrew Cropper, Sebastijan Dumančić, Stephen Muggleton · Machine Learning · 2021 · 49 citations · Full text

Artificial Intelligence, Symbolic Learning, Engineering +15

Learning higher-order logic programs through abstraction and invention

Andrew Cropper, Stephen Muggleton · Oxford University Research Archive (ORA) (University of Oxford) · 2016 · 41 citations · Full text

Artificial Intelligence, Applied Logic, Symbolic Learning +15

Learning efficient logic programs

Andrew Cropper, Stephen Muggleton · Machine Learning · 2018 · 32 citations · Full text

Artificial Intelligence, Symbolic Learning, Ilp System +15

Learning efficient logical robot strategies involving composable objects

Andrew Cropper, Stephen Muggleton · Oxford University Research Archive (ORA) (University of Oxford) · 2015 · 27 citations · Full text

1–5 of 5