Atom, an Inductive Logic Programming system written by me.
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. Yuen, “Efficient 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. Yuen, “A Constraint satisfaction approach to tractable theory induction”, Lecture Notes in Computer Science, vol. 7997, pp. 24-29, 2013.