Neuro-Symbolic Al: a tutorial

The tutorial was given at the Logic for AI Spring School in Como: https://lais.lakecomoschool.org

The second part of the tutorial, which covers neurosymbolic AI, mainly addresses loss functions and regularization, semantic properties of these loss functions, and finally, recent work on program induction and reward machines with ethical constraints.