Teaching Activities

Summer Term 26

  • Course
    Formale Argumentation

Winter Term 25/26

  • Course
    Logik
  • Research Lab
    Künstliche Intelligenz: Spielprogrammierung für TwixT

Summer Term 25

  • Course
    Formale Argumentation

Winter Term 24/25

  • Course
    Deduktions- und Inferenzsysteme
  • Research Lab
    Künstliche Intelligenz: Multiagentenprogrammierung

Summer Term 24

  • Course
    Formale Argumentation

Winter Term 23/24

  • Course
    Deduktions- und Inferenzsysteme

Summer Term 23

  • Research Lab
    Künstliche Intelligenz: Multiagentenprogrammierung

Winter Term 22/23

  • Course
    Deduktions- und Inferenzsysteme

Summer Term 22

  • Research Lab
    Künstliche Intelligenz: Multiagentenprogrammierung