Seminar: Selected Topics in Domain Synthesis

This seminar will cover different approaches to synthesize models for agent behavior, divided into two tracks: The first track focuses on creating behavior models using Learning-from-Demonstration and Behavior Trees. The second track investigates approaches from the field of Neurosymbolic AI to synthesize domain- and action models.

Participation

Students of Master programs can participate in this seminar. For Master Informatik students, the seminar belongs to the fields Data and Information Management. Certain topics may also be suitable for the field Theoretical Computer Science, please contact us beforehand. For Master Software Systems Engineering (SSE) students, it belongs to the field Data and Information Management. As above, some topics may qualify for the area Theoretical Foundations of SSE, contact us beforehand.

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 robotics, and applied machine learning 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

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.