Studienarbeiten
Aus International Center for Computational Logic
Studienarbeiten
Themenvorschläge für Studien- und Abschlussarbeiten
Abgeschlossene Arbeiten
- Algebra und Diskrete Strukturen (Manuel Bodirsky)
- Automatentheorie (Franz Baader)
- Computational Logic (Sebastian Rudolph)
- Knowledge-aware Artificial Intelligence (Simon Razniewski)
- Logische Programmierung und Argumentation (Sarah Alice Gaggl)
- Verifikation und formale quantitative Analyse (Christel Baier)
- Wissensbasierte Systeme (Markus Krötzsch)