About Me

I am a Research Associate in the Department of Computing at Imperial College London. I am a member of the SPIKE group. My main research interests are in the areas of Inductive Logic Programming and Answer Set Programming.

My current research is in the area of Inductive Logic Programming; specifically my work addresses learning Answer Set Programs consisting of normal rules, choice rules, (hard) constraints, and weak constraints.

ILASP (Inductive Learning of Answer Set Programs)

During my PhD I developed the ILASP system for learning answer set programs. For the technical background of ILASP, please see our research papers. More information about the ILASP system, including information about where to download ILASP can be found at www.ilasp.com.

ILASP is free to use for research and education. If do use ILASP for research, we ask that you use this citation of the system, in addition to citing the relevant research papers. Anyone wishing to use ILASP for commercial purposes should contact Mark Law (mark@ilasp.com).