Symbolische KI:
Suchprobleme, Constraint Satisfaction Problems, strategische Spiele, Planung, wissensbasierte Systeme, maschinelles Beweisen.
Maschinelles Lernen:
Neuronale Netze, Reinforcement Learning.
- Trainer/in: Lisa Annett Barthel
- Trainer/in: Johannes Dukek
- Trainer/in: Stefan Fricke
- Trainer/in: Julian Frederic Krumrey
- Trainer/in: Sarah Lengfeld
- Trainer/in: Willie Thorsten Ingo Szollmann