The second part of the text deals with declarative techniques for process discovery. Declarative process discovery techniques focus on comprehensibility and justifiability of the discovered process models, in addition to their accuracy. Inductive Logic Programming (ILP) is a machine learning technique that is particularly suited for raising comprehensibility and justifiability. The author developed a configurable technique to artificially generate negative events (AGNEs). By generating artificial negative events, a classification learner is given a configurable completeness assumption as inductive bias.