Studien- und Abschlussarbei­ten

Sie können bei uns Studien- und Abschlussarbeiten in den folgenden Bereichen ablegen:

• Komplexität und Anwendung von SAT-Solving, Answer-Set Programming (ASP) und verwandten Formalismen (bitte wenden Sie sich an Johannes Fichte)
• Formale Argumentationstheorie und menschliches Schließen (bitte wenden Sie sich an Marcos Cramer)