Martin Mose Bentzen

13 papers A* 1A 1B 2Misc 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2021 A* conf
Verifiable Machine Ethics in Changing Contexts.
AAAI
Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher
2018 — conf
A Formalization of Kant's Second Formulation of the Categorical Imperative.
DEON
Felix Lindner, Martin Mose Bentzen
2018 Misc conf
A Formalization of Kant's Second Formulation of the Categorical Imperative.
ISAIM
Martin Mose Bentzen
2018 J jnl
A Formalization of Kant's Second Formulation of the Categorical Imperative.
CoRR
Martin Mose Bentzen, Felix Lindner
2017 J jnl
Black boxes on wheels: research challenges and ethical problems in MEA-based robotics.
Ethics Inf. Technol.
Martin Mose Bentzen
2017 B conf
Discussions about lying with an ethical reasoning robot.
RO-MAN
Felix Lindner, Laura Wächter, Martin Mose Bentzen
2017 B conf
Perceived Difficulty of Moral Dilemmas Depends on Their Causal Structure: A Formal Model and Preliminary Results.
CogSci
Barbara Kuhnert, Felix Lindner, Martin Mose Bentzen, Marco Ragni
2017 A conf
The HERA approach to morally competent robots.
IROS
Felix Lindner, Martin Mose Bentzen, Bernhard Nebel
2017 — conf
The Hybrid Ethical Reasoning Agent IMMANUEL.
HRI (Companion)
Felix Lindner, Martin Mose Bentzen
2016 — conf
The Principle of Double Effect Applied to Ethical Dilemmas of Social Robots.
Robophilosophy/TRANSOR
Martin Mose Bentzen
2014 J jnl
Action Type Deontic Logic.
J. Log. Lang. Inf.
Martin Mose Bentzen
2014 — conf
Brains on Wheels: Theoretical and Ethical Issues in Bio-Robotics.
Robophilosophy
Martin Mose Bentzen
2010 J jnl
Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal Logic.
Stud Logica
Martin Mose Bentzen