First meeting: Tuesday, 2013-04-16, 10:00 in O27/3211.

Preparation, elaboration and presentation of selected chapters from the books mentioned in the bibliography on logic-based programming.

This course can be combined with the project seminar Computational Psychology.

You must write a paper of 10-15 pages using this LaTeX and BibTeX template. Five weeks before the presentation you have to discuss the contents of the paper with your supervisor. You must have completed your research about the topic by then. Two weeks before your presentation you have to submit the final version of the paper and an outline of your talk. You discuss the latter with your supervisor one week before the presentation is scheduled. You have to give a talk of 45 minutes.