Organisation
General information about the organisation of bachelor projects can be found
here.
Grading
The grade is based on the presentations (1/3) and the final thesis
(2/3) and determined by the supervisor in consultation with the other
Computational Logic group members involved in supervising bachelor
projects.