Knowledge-Directed Theory Revision.- Towards Clausal Discovery for Stream Mining.- On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution Semantics.- Induction of Relational Algebra Expressions.- A Logic-Based Approach to Relation Extraction from Texts.- Discovering Rules by Meta-level Abduction.- Inductive Generalization of Analytically Learned Goal Hierarchies.- Ideal Downward Refinement in the Description Logic.- Nonmonotonic Onto-Relational Learning.- CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods.- Speeding Up Inference in Statistical Relational Learning by Clustering Similar Query Literals.- Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples.- ProGolem: A System Based on Relative Minimal Generalisation.- An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge.- Boosting First-Order Clauses for Large, Skewed Data Sets.- Incorporating Linguistic Expertise Using ILP for Named Entity Recognition in Data Hungry Indian Languages.- Transfer Learning via Relational Templates.- Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data.- Finding Relational Associations in HIV Resistance Mutation Data.- ILP, the Blind, and the Elephant: Euclidean Embedding of Co-proven Queries.- Parameter Screening and Optimisation for ILP Using Designed Experiments.- Don’t Fear Optimality: Sampling for Probabilistic-Logic Sequence Models.- Policy Transfer via Markov Logic Networks.- Can ILP Be Applied to Large Datasets?.