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
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 (email@example.com).