NAME Stephen Muggleton and James Cussens TITLE Inductive Logic Programming for Learning Language in Logic TYPE Introductory SECTION Language and Computation DURATION 1 week SUMMARY Inductive Logic Programming (ILP) is the area of Computer Science which deals with the induction of hypothesised predicate definitions from examples and background knowledge. Logic programs are used as a single representation for examples, background knowledge and hypotheses. ILP is differentiated from most other forms of Machine Learning (ML) both by its use of an expressive representation language and its ability to make use of logically encoded background knowledge. This has allowed successful applications of ILP in areas such as molecular biology and computational chemistry. The area of Computational Learning of Natural Language in Logic (LLL) is producing a number of challenges to existing ILP theory and implementations. This course aims to give a grounding in ILP with an emphasis on applications in LLL.