Supervised Theses

  • Probabilistische Wissenskontraktion mit Hilfe von minimaler Relativentropie (Arthur Franke, Bachelor thesis, 2017)
  • Reaktive Antwortmengenprogrammierung - formale Eigenschaften und logistische Anwendung (Jonas Philipp Haldimann, Bachelor thesis, 2017)
  • Beschreibungslogische Ontologien für autonome Fahrzeuge in der Logistik (Daniel Gadalla, Bachelor thesis, 2017)
  • Wissensverarbeitung und Wissensrevision in der Only-Believing Logic (Yannic Twardokus, Bachelor thesis, 2016)
  • Berechnung minimaler c-Repräsentationen mittels ganzzahliger linearer Programmierung (Sebastian Sewarte, Bachelor thesis, 2016)
  • Implementierung und Evaluation eines Algorithmus zur Klassifizierung von möglichen Welten bezüglich einer konditionalen Wissensbasis (Christian Riest, Bachelor thesis, 2016)
  • Iterierte Wissensrevision für Aktionen im Situationskalkül (Melissa Hennes, Master thesis, 2015)
  • Iterierte Wissensrevision auf totalen Quasiordnungen (Jannis David Junge, Bachelor thesis, 2015)

Teaching Activities