---

Teaching -
Knowledge-Based Systems and Logic Programming

Prof. Dr. Dietmar Seipel

---

Bachelor (Undergraduate) Courses

• Databases I (WS 2017/18)
• Logic for Computer Science (WS 2018/19)

Master (Graduate) Courses

• Advanced Databases (SS 2018)
• Deductive Databases (SS 2018)
• Logic Programming (WS 2018/19)

Seminars

• Advanced Database and Logic Programming Concepts (Master Seminar, SS 2018)

Previous Courses and Seminars

• Algorithmen und Datenstrukturen / Praktische Informatik I (Bachelor Course)
• Softwaretechnik / Praktische Informatik II (Bachelor Course)
• Einführung in die Informatik für Hörer aller Fakultäten (Bachelor Course)
• Semantic Web (Master Course)
• Deklarative Methoden zur Sprachverarbeitung (Master Seminar)
• Annotation und Analyse von XML/Text-Korpora (Master Seminar)
• Logikprogrammierung und Linguistik (Master Seminar)
• Ontologien, Semantic Web und Knowledge Engineering (Master Seminar)

Topics for Bachelor and Master Theses

• on request, please ask us

---