Research Articles
| Status | Research Method | Authors | Year | Title | Document |
|---|---|---|---|---|---|
| Accepted | Formalization & Systems Development | Dennis, Bentzen, Lindner, Fisher | 2021 | Verifiable Machine Ethics in Changing Contexts | soon |
| Accepted | Formalization | Lindner | 2020 | Permissibility-under-a-description reasoning for deontological robots. | |
| Published | Formalization & Complexity Theory | Lindner, Mattmüller, Nebel | 2020 | Evaluation of the Moral Permissibility of Action Plans | PDF, Journal Article |
| Published | Empirical Study | Lindner, Kuhnert, Wächter, Möllney | 2019 | Perception of Creative Responses to Moral Dilemmas by a Conversational Robot | PDF, Material |
| Published | Systems Development | Lindner, F., Möllney, K. | 2019 | Extracting Reasons for Moral Judgments under Various Ethical Principles | |
| Published | Formalization | Lindner, F., Mattmüller, R. & Nebel, B. | 2019 | Moral Permissibility of Action Plans (AAAI19 Paper) | |
| Published | Formalization | Lindner, F., Mattmüller, R. & Nebel, B. | 2018 | Moral Permissibility of Action Plans (Workshop Paper) | |
| Published | Formalization | Lindner, F. & Bentzen, M. M. | 2018 | A Formalization of Kant's Second Formulation of the Categorical Imperative | |
| Published | Empirical Study | Stellmach, H. & Lindner, F. | 2018, 2019 | Perception of an Uncertain Ethical Reasoning Robot: A Pilot Study | PDF, Journal Article |
| Published | Empirical Study | Wächter, L. & Lindner, F. | 2018 | An Explorative Comparison of Blame Attributions to Companion Robots Across Various Moral Dilemmas | |
| Published | Systems Development | Lindner, F. & Bentzen, M. M. | 2017 | The Hybrid Ethical Reasoning Agent IMMANUEL | |
| Published | Empirical Study and Cognitive Modeling | Kuhnert, B., Lindner, F., Bentzen, M. M., & Ragni, M. | 2017 | Perceived Difficulty of Moral Dilemmas Depends on Their Causal Structure: A Formal Model and Preliminary Results | |
| Published | Empirical Study | Lindner, F., Wächter, L. & Bentzen, M. M. | 2017 | Discussions About Lying with an Ethical Reasoning Robot | |
| Published | Formalization | Lindner, F., Bentzen, M. M. & Nebel, B. | 2017 | The HERA Approach to Morally Competent Robots | |
| Published | Formalization | Bentzen, M. M. | 2016 | The double effect principle applied to ethical dilemmas of social robots |
Student’s Projects and Theses
| Status | Research Method | Authors | Year | Title | Document |
|---|---|---|---|---|---|
| Bachelor's Thesis (Ongoing) | Formalization | Hirschbrunn, Joshua | 2020 | Formalization and Implementation of ethical Reasoning under Uncertainty | |
| Master's Thesis (Completed) | Systems Development | Benninger, Milan | 2019 | The Double Effect Principle: Generating Ethically Permissible Plans | |
| Bachelor's Thesis (Completed) | Systems Development | Castan, Constantin | 2019 | Erstellung und Evaluation einer Komponente zur Generierung natürlichsprachlicher Beschreibungen formal repräsentierter Entscheidungssituationen | |
| Bachelor's Project (Completed) | Systems Development | Castan, Constantin | 2019 | NLG für Causal-Agency-Modelle: Document Planning | |
| Bachelor's Thesis (Completed) | Formalization | Rogg, Marcel | 2019 | Refining Actual Causality | |
| Bachelor's Project (Completed) | Systems Development | Gürth, David Manuel | 2019 | Trolley GUI -- A graphical editor for creating Moral Planning Domain Definitions | |
| Bachelor's Thesis (Completed) | Formalization & Systems Development | Möllney, Katrin | 2019 | Berechnung von Gründen unter verschiedenen ethischen Prinzipien | |
| Bachelor's Thesis (Completed) | Formalization | Hämmerle, Teresa | 2019 | Korrespondenz zwischen Kausalen Modellen und Planungsformalismen | - |
| Bachelor's Project (Completed) | Systems Development | Ingold, Marc | 2018 | Automated gaze behaviour generation based on information structural components | - |
| Bachelor's Project (Completed) | Formalization & Systems Development | Möllney, Katrin | 2018 | Implementierung und Vergleich von Semantiken zur Begründung utilitaristisch gerechtfertigter Einzelentscheidungen | - |
| Bachelor's Project (Completed) | Systems Development | Probst, Timo | 2018 | Sentimentanalyse für IMMANUEL | |
| Bachelor's Thesis (Completed) | Systems Development & User Study | Pieper, Johanna | 2018 | Erstellung und Evaluation einer GUI-Anwendung zur Steuerung eines humanoiden Roboterkopfes | |
| Master's Project (Completed) | Systems Development | Benninger, Milan | 2018 | Moral Planning: Generating Do-No-Harm Permissible Plans | |
| Master's Project (Completed) | Formalization | Ind, Axel | 2018 | Multi-Agent Moral Planning | - |
| Master's Project (Completed) | Empirical Study | Stellmach, Hanna | 2018 | Perception of an Uncertain Ethical Reasoning Robot: A Pilot Study | - |
| Master's Thesis (Completed) | Empirical Study | Stellmach, Hanna | 2018 | Perception of an Uncertain Ethical Reasoning Robot | - |
| Bachelor's Project (Completed) | Systems Development | Wagner, Francine | 2017 | Image Stitching in Echtzeit und Gesichtserkennung | - |
| Bachelor's Project (Completed) | Systems Development | Bürkle, Fabian | 2017 | Implementierung von Backchannelreaktionen eines Roboters mit Hilfe von einer Sprachsignalanalyse mit Praat | - |
| Bachelor's Project (Completed) | Systems Development | Denk, Jasmin | 2017 | Schalllokalisation für einen anthropomorphischen Roboterkopf | |
| Master's Project (Completed) | Systems Development | Vighnesh Bheed | 2017 | Tracking Faces of Participants in HRI Studies using a Ceiling Camera | - |
| Bachelor's Thesis (Completed) | Systems Development | Dobrusin, Ilia | 2016 | Implementation of a Domain-Specific Language for Controlling an Anthropomorphic Robot Head | - |