A. Koltraka: "Reasoning Capabilities for a Cognitive-Assistive Assembly System"; Supervisor: J. Knoop, D. Schreiner; Institut für Computersprachen, 2017; final examination: 2017-10-04.