Completed theses

Bachelor project

The bachelor project at the group of Foundations of Artificial Intelligence comprises three task sheets on the topics of Boolean satisfiability, Answer-Set Programming, Constraint-Satisfaction Problems, Linear Programming, Modal Logic and Symbolic Planning. If you are interested, send an e-mail to David Speck.

Bachelor Thesis, Master Project and Master Thesis

If you are interested in doing a master project or thesis with our group, send an e-mail to Prof. Dr. Bernhard Nebel or discuss your interest with Prof. Nebel during the weekly consultation hours.