Abschlussarbeiten
Im Folgenden finden Sie einige Themenangebote für Bachelor- und Masterarbeiten. Bei Interesse nehmen Sie bitte direkt per E-Mail Kontakt mit der angegebenen Ansprechperson auf.
Themenangebote
- Bachelorarbeit „Konstruktion eines Algorithmus zur Berechnung des problematischen Inkonsistenzmaßes auf Basis von Answer Set Programming“
Betreuer: Isabelle Kuhlmann - Bachelorarbeit „Pinpointing Conflicts in Temporal Knowledge Bases via Model Checking“
Betreuer: Dr. Jandson Santos Ribeiro Santos - Bachelorarbeit „Preprocessing Methoden für Abstrakte Argumentation“
Betreuer: Kenneth Skiba - Bachelorarbeit „SAT-Kodierungen für Quasi-Inkonsistenz“
Betreuer: Prof. Dr. Matthias Thimm - Masterarbeit „Algorithmische Ansätze für harte Probleme in abstrakten Argumentationssystemen“
Betreuer: Prof. Dr. Matthias Thimm - Masterarbeit „Entwicklung von Algorithmen zur Elizitierung von sigma-äquivalenten abstrakten Argumentationssystemen“
Betreuer: Isabelle Kuhlmann - Masterarbeit „Kernel Contraction and Epistemic Choices“
Betreuer: Dr. Jandson Santos Ribeiro Santos - Masterarbeit „Über die Komplexität der semi-qualifizierten Semantiken in abstrakten Argumentationssystemen“
Betreuer: Prof. Dr. Matthias Thimm
