Welcome    Publications    Teaching





Teaching



Teaching                                               


SS21


WS20/21

  • Vorlesung und Übung Künstliche Intelligenz an der TH-Bingen (Material siehe OLAT Kurs)


WS19/20

  • Vorlesung und Übung Künstliche Intelligenz an der TH-Bingen (Material siehe OLAT Kurs)

  • Vorlesung und Übung Semantic Web an der TH-Bingen (Material siehe OLAT Kurs)


SS19


WS18/19


SS18


WS17/18


SS17


WS16/17


SS15


SS12

  • Übung zur Vorlesung Grundlagen der theoretischen Informatik
    Mittwoch 10 Uhr c.t. in K101


WS11/12

  • Übung zur Vorlesung Künstliche Intelligenz 2
    Montag 10 Uhr c.t. in K208


SS11

  • Übung zur Vorlesung Automated Reasoning and Knowledge Representation
    Donnerstag 10 Uhr c.t. in E313



WS10/11

  • Übung zur Vorlesung Künstliche Intelligenz 1



SS09

  • Übung zur Vorlesung Künstliche Intelligenz 2
    Freitag 8 Uhr c.t. in B016



WS08/09

  • Übung zur Vorlesung Künstliche Intelligenz 1
    Donnerstag 8 Uhr c.t. in F113

  • Seminar - Ausgewählte Themen der KI



SS08

  • Übung zur Vorlesung Automated Reasoning and Knowledge Representation
    Donnerstag 10 Uhr c.t. in K107

  • Seminar - Aktuelle Schwerpunkte der deutschen Informatik-Forschung



WS07/08

  • Übung zur Vorlesung Künstliche Intelligenz
    Dienstag 12 Uhr c.t. in F313
    Donnerstag 8:30 Uhr in F313

  • Proseminar

  • Einführung in die KI-Programmierung am 08.11.07

SS07

  • Übung zur Vorlesung Logik für Informatiker
    Dienstag 8 Uhr c.t. in F113
    Dienstag 16 Uhr c.t. in F113
    Mittwoch 10 Uhr c.t. in F113



WS06/07

  • Übung zur Vorlesung Künstliche Intelligenz
    Donnerstag 8:30

  • Übung zur Vorlesung KI-Programmierung


SS06

  • Übung zur Vorlesung Logik für Informatiker
    Montag 10 Uhr c.t. und 12 Uhr s.t.


WS05/06

  • Übung zur Vorlesung KI-Programmierung