John Ahlgren

PhD in Computer Science (Machine Learning), City University of Hong Kong.
Master of Science in Applied Physics Engineering, Linköping University.
J. Ahlgren, Automated Programming using Constrained Inductive Logic Programming, PhD thesis. This treats the noisy setting as well.

J. Ahlgren and S. Y. YuenEfficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming”, Journal of Machine Learning Research, vol. 14, pp. 3649-3681, 2013.

 J. Ahlgren and S. Y. YuenA Constraint satisfaction approach to tractable theory induction”, Lecture Notes in Computer Science, vol. 7997, pp. 24-29, 2013.