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