Cerna, David M.

4 publications

AAAI 2025 Scalable Knowledge Refactoring Using Constrained Optimisation Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper

AAAI 2024 Generalisation Through Negation and Predicate Invention David M. Cerna, Andrew Cropper

IJCAI 2023 Anti-Unification and Generalization: A Survey David M. Cerna, Temur Kutsia

IJCAI 2022 Learning Higher-Order Logic Programs from Failures Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk