— The explanatory text is provided here in English only. However, the thesis may also be written in German. — We are planning to have a thesis that investigates how autonomous systems can anticipate future states with increasing uncertainty when making decisions over time. The focus lies on how such systems can reason about the […]
— The explanatory text is provided here in English only. However, the thesis may also be written in German. — We have one thesis project available that focusses on the anticipation of human behaviour. An experimental setup and a data set already exist where participants were asked to make tea in a VR environment. There […]
This thesis is to be carried out in cooperation with Gerardo Schneider from the University of Gothenburg. Motivation and ImportanceNormative systems—systems governed by rules such as obligations, permissions, and prohibitions—are central to many modern domains, including autonomous systems, multi-agent coordination, legal-tech, and business process compliance. As software increasingly operates in open, dynamic environments, ensuring that behavior adheres to […]
Bei der konventionellen Ultraschalluntersuchung muss die Sonde fest auf den Bereich des Unterarms gedrückt werden, in dem möglicherweise eine Fraktur vorliegt, was für junge Patienten äußerst schmerzhaft sein kann. Ziel dieses Projekts ist die Entwicklung eines kontaktlosen, robotergestützten Ultraschallscansystems, um die Diagnoseergebnisse zu verbessern und die Beschwerden der Patienten bei der Frakturerkennung zu verringern. Um […]
Qualitative Simulation abstracts from numerical details and captures the behavior of a system in terms of broad intervals or relations. The underlying symbolic models such as Qualitative Differential Equations or Qualitative Causal Models double as a representation for why a certain simulation outcome occurred. A long standing issue in common sense reasoning in AI is […]
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 […]
