Lecturer: Ronald de Haan
In the first week, the course features some introductory lectures.
In the second week, you will read and study a research paper on the topic of probabilistic logic programming. There will be opportunity to ask questions about the paper in the case that you get stuck or would like some help and/or guidance. You can indicate your preferences for which paper to study, and we will have a session where we agree on an (injective) assignment of (pairs of) students to papers, in order to make sure that the presentations provide us all with a varied and coherent view on the research field.
At the end of the second week, we will have a session where all (pairs of) students present their paper. This will provide us all with a sort of workshop on recent developments in the research field. The main aim of the presentation is to educate your fellow students (and the lecturers) on the results and message of the paper that you're presenting.
The remainder of the month is dedicated to carrying out a small research project (in pairs or individually) and writing a final report. This could consist of replicating some results from a paper in the literature, for example. It could also consist of combining tools or ideas from various papers into a single system, or of applying (tools from) probabilistic logic programming to a new domain.
The course is graded on a pass/fail basis. Your grade will be based on your participation, on your presentation of one of the research papers, and on the final written report that you hand in.
The following list contains reading material that can be useful to study up on notions that play a role in (or form the foundations behind) the research papers that we will study in the course.
The following list contains some software packages that will be useful for experimenting with the theoretical notions that we will discuss in the course.
The following is a list of good candidates for research papers to present.
| When? | Where? | What? |
|---|---|---|
| Week 1 | ||
| Tue 4 Jun. 10–12 | SP L3.35 | Lecture 1: A Crash Course in Logic Programming Slides |
| Tue 4 Jun. 13–15 | SP L3.35 | Lecture 2: ProbLog, Distribution Semantics Paper about ProbLog (see background reading) |
| Thu 6 Jun. 10–12 | SP L3.35 | Lecture 3: Knowledge Compilation, Computational Approaches |
| Thu 6 Jun. 13–15 | SP L3.35 | Lecture 4: Computational Complexity, Applications |
| Week 2 | ||
| Fri 14 Jun. 9–15 | SP L3.35 | Paper presentations |
| Week 3 | ||
| - | ||
| Week 4 | ||
| Mon 24 Jun. 10–15 | SP L2.07 | Project presentations |
| Fri 28 Jun. by 23:59 | Final report submission |