Jesse Davis, Jan Ramon Inductive Logic Programming - Springer 2015 - Lecture Notes in Computer Science . ISBN: 9783319237084 Subjects--Index Terms: Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Programming Techniques; Information Systems Applications (incl.Internet); Logics and Meanings of Programs; Computation by Abstract Devices