Thesis Topics

Inductive Logic Programming (ILP) is a form of symbolic machine learning, where logic programs (e.g., Prolog or ASP) are synthesized from input/output examples. These synthesis tasks are notorious for their large search space. Modern approaches use a conflict-driven search to constrain this search iteratively. This procedure is usually implemented using constraint programming solvers operating on […]

In der Vorlesung Robotik wird der Open-Source-Roboterarm “LeRobot” von HuggingFace verwendet – mit recht gutem Erfolg. Ein paar Probleme hat dieser Roboter aber leider noch: er verfügt nur über 5 Gelenke + einen Greifer. Dadurch sind die räumlichen Freiheiten des Roboters nicht vollständig, die letzte rotatorische Freiheit fehlt. Zudem ist die Implementierung der Gelenkbewegung nicht […]