Learning Programs in the Event Calculus. - Stephen Moyle; Stephen H. Muggleton (ILP, 1997)

Using Theory Completion to Learn a Robot Navigation Control Program. - Stephen Moyle (ILP, 2002)

An investigation into theory completion techniques in inductive logic programming. - Stephen Anthony Moyle (2003)