Logic and Machine Learning

Practical sessions on how to use the Julia programming language, and in particular the Sole.jl framework, to work with logic and symbolic learning.

Link to the Logic and Machine Learning Summer School

Link to the materials - GitHub page of the course