Programming Systems in
Artificial Intelligence


Date Slides
2 February 2016Introduction
9 February 2016Logic programming
16 February 2016No lecture!
23 February 2016Logic programming
1 March 2016Logic programming / Functional programming
8 March 2016Functional programming
15 March 2016No lecture!
22 March 2016Dyna (Mats Derk, Renuka Ramgolam)
29 March 2016Gecode (Anne Hommelberg, Jelco Burger)
5 april 2016MiniZinc, ECLiPSe (Simon Klaver, Thierry van der Speck)
12 april 2016Markov Logic (Gogou Evangelia, Stellios Paraschiakos, Nick van de Bosch)
19 april 2016Markov Logic, Tuffy, DeepDive (Mark Post, Yazhou Liu, Yali Wang)
26 april 2016ProbLog (Hanjo Boekhout, Boris Nelissen, Filipe Daniel da Gama Batista)
3 may 2016Church (Raymond Parag, Terry Zabel, Filipe Fernandes Miranda)
10 may 2016Tensorflow, Theano (Arthur van Rooijen, Lau Bannenberg)

Papers
Dyna
Gecode (chapters 1, 2, 3, 7, and one showcase of choice in part C)
MiniZinc
FO(.)
ECLiPSe (chapter 3; however, check the other chapters as necessary for background information; only one of the examples needs to be discussed. Check this for more information as well)
Markov logic (chapter 2, 3, 6; send a mail to get access)
Tuffy
DeepDive
ProbLog (1), ProbLog (2), ProbLog (3)
Church paper, Church website
Theano
Tensorflow