Research output per year
Research output per year
Personal profile
Fields of Science
- 113 Computer and information sciences
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Empirical Comparison of Cost Functions in Inductive Logic Programming
Hocquette, C. & Cropper, A., 20 Jul 2026, In: Journal of Artificial Intelligence Research. 86, 27 p., 24.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Symmetry Breaking for Inductive Logic Programming
Cropper, A., Cerna, D. M. & Järvisalo, M. J., 14 Mar 2026, In: Proceedings of the AAAI Conference on Artificial Intelligence. 40, 23, p. 19012-19020 9 p.Research output: Contribution to journal › Conference article › Scientific › peer-review
Open AccessFile -
Relational Decomposition for Program Synthesis
Hocquette, C. & Cropper, A., 2025, Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025. Kwok, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 4526-4534 9 p. (IJCAI International Joint Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
-
Scalable Knowledge Refactoring Using Constrained Optimisation
Liu, M., Cerna, D. M., Gouveia, F. & Cropper, A., 2025, Thirty-ninth Aaai Conference On Artificial Intelligence. Walsh, T., Shah, J. & Kolter, Z. (eds.). The Association for the Advancement of Artificial Intelligence (AAAI), p. 15049-15057 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 39, no. 14).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access -
Generalisation through Negation and Predicate Invention
Cerna, D. M. & Cropper, A., 2024, Thirty-eighth Aaai Conference On Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). The Association for the Advancement of Artificial Intelligence (AAAI), p. 10467-10475 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 9).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access
Projects
- 1 Active
-
Solving the ARC-AGI-3 benchmark using IL
Cropper, A. (Project manager)
09/12/2025 → 31/12/2028
Project: External funding