Recorded talks

---

Generative Datalog and Answer Set Programming

Mario Alviano, University of Calabria

---

Combining symbolic and machine learning approaches for automating legal reasoning

Katie Atkinson, University of Liverpool

---

Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond

Vaishak Belle, University of Edinburgh