Luc De Raedt gives a tutorial at the ACAI Summer School