Uni-Logo

Abgeschlossene Arbeiten

Offene Themen

Bachelor-Projekt
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.

Weitere Informationen und Kontakt: Robert Mattmüller und David Speck

Laufende Arbeiten

Bachelor-Projekt
Multi target path planning as decision tool for mobile robots

Vergeben an: Anna Windbuehler (seit November 2016)

Master-Projekt
Lattice based path planning in a cooperative multi robot setting

Vergeben an: Ikrima Bin Saeed (seit November 2016)

Master-Projekt
Object recognition and tracking for Sick Robot Day 2016

Vergeben an: Robert Grönsfeld (seit Oktober 2015)