Currently Ongoing Theses

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Currently Ongoing Theses

Toggle side column

Currently Ongoing Theses

Master's Theses

• Explaining Projected Answer Sets Using Faceted Reasoning
• Supervisor: Sarah Alice Gaggl
• Already taken as topic of a Master's thesis since 27 Juni 2025