A tutorial to logic programming using miniKanren and core.logic by representing and using the allegory based Tamarian language from the Start Trek Next-Generation Episode Darmok.
Solving the mysteries of Scooby Doo with probabilistic logic programming.
Diving into Deep Learning Part 1: An Introduction to Machine Learning
A bit of an introduction.
Machine enabled compliance checking in the legal and financial domain.