Title: Inductive Logic Programming
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Artificial intelligence, Artificial Intelligence (incl. Robotics)