Inductive Logic Programming (ILP) is a novel logic-based approach to Machine Learning that aims to learn a logic program that explains a set of examples in the context of some pre-existing background knowledge. This course will start by introducing the basics of Answer Set Programming, a novel logic programming language, and then move on to ILASP (short for Inductive Learning of Answer Set Programming), a framework for learning programs in the form of special non-monotonic logic constructs. The students will learn how to use these tools in the context of Explainable AI (XAI) and will be introduced to recent research in this field, which aims to make Machine Learning more transparent and, to some extent, ethical. The final assessment will verify the students' practical command of these tools.
