Uni-Logo

Completed theses

Proposed topics

Bachelor's project
Bachelorprojekt: Grundlagen der Symbolischen KI
Das Bachelorprojekt am Lehrstuhl für die Grundlagen der Künstlichen Intelligenz umfasst drei Aufgabenblätter zu den Themen Aussagenlogische Erfüllbarkeit, Answer-Set Programming, Constraint-Satisfaction Probleme, Lineare Programmierung, Modallogik und Symbolisches Planen. Aufbauend auf den Aufgabenblättern wird in der zweiten Phase des Bachelorprojektes ein Verfahren selbst implementiert und sowohl theoretisch als auch empirisch evaluiert.

Further information and contact: Felix Lindner, Robert Mattmüller and David Speck

Bachelor's thesis, Master's thesis or Master's project
Moral Reasoning and Argumentation
Several Bachelor and/or Master theses and projects are available with the common objective to apply AI techniques to moral reasoning and argumentation. Concrete problems include: Moral decision making under uncertainty, AI planning under ethical considerations, complexity-theoretical investigations of ethical judgment making and planning, generation of explanations and justifications, modeling of moral dialogues, empirical investigations of an ethical reasoning robot.

Further information and contact: Felix Lindner

Ongoing topics

Bachelor's project
Multi target path planning as decision tool for mobile robots

Assigned to: Anna Windbuehler (since November 2016)

Master's project
Lattice based path planning in a cooperative multi robot setting

Assigned to: Ikrima Bin Saeed (since November 2016)

Master's project
Object recognition and tracking for Sick Robot Day 2016

Assigned to: Robert Grönsfeld (since October 2015)

The Sick Robot Day competition poses many interesting challenges for an autonomous robot, especially in the fields of navigation, perception and manipulation. In this project the problem of object perception is addressed. The robot needs to recognize cubes in the competition arena. These cubes can be placed by the robot or by the robot of the opposing team and collision with the cubes leads to disqualification. Therefore it is crucial to detect and track the position of any cubes and provide the gathered information to the navigation component.