This seminar will cover different approaches to Automated Planning and Knowledge Representation, including state-of-the-art research results.

Participation

Available for:

• Bachelor Computer Science
• Master Computer
• Science
• Bachelor Mathematics
• Bachelor Erasmus
• Master Erasmus

Places are allocated centrally. In your application please clearly indicate your prior knowledge of the subject (see the requirements section). We won’t be able to consider your application otherwise. The number of available slots is limited.

Requirements

Knowledge of the fundamental concepts of Artificial Intelligence is strongly recommended; an understanding of knowledge representation is also quite helpful. Basic knowledge of planning and modal logic will be an advantage.

Introductory Meeting

• The introductory meeting will take place in the beginning of the semester, the exact date will be announced. Participation is compulsory.

Seminar Procedure

• Besides writing your own term paper, you are asked to review other students’ term papers. It will involve strict deadlines. Meeting these deadlines is mandatory. At the end of the seminar each student needs to give a talk on their topic in front of the other students and members of our group. Attendance of these talks and participation in the discussions is mandatory.

Seminar Date

• The seminar will be held as a block seminar on two or three days, likely during the semester break.

Typesetting

• You may use this LaTeX template for your term paper.

General Info

• Please read and understand our general information and suggestions on seminars!
• The seminar is managed via a moodle course room, which will be created soon.

Library Tour

• The Computer Science Library offers guided tours on how to find literature in the library and how to prepare a seminar. Interested students should enlist for a tour in the preliminary discussion.