Evaluation of the moral permissibility of action plans

[1]  G. NaveenSundar,et al.  Toward the Engineering of Virtuous Machines , 2018, AIES.

[2]  Martin Mose Bentzen,et al.  A Formalization of Kant's Second Formulation of the Categorical Imperative , 2018, DEON.

[3]  Michael Fisher,et al.  Practical Challenges in Explicit Ethical Machine Reasoning , 2018, ISAIM.

[4]  Steffen Hölldobler,et al.  Ethical Decision Making under the Weak Completion Semantics , 2018, Bridging@IJCAI/ECAI.

[5]  Paolo Torroni,et al.  Monitoring norms: a multi-disciplinary perspective , 2018, The Knowledge Engineering Review.

[6]  Bernhard Nebel,et al.  The HERA approach to morally competent robots , 2017, 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[7]  Joseph Y. Halpern,et al.  Causality, Responsibility and Blame in Team Plans , 2017, AAMAS.

[8]  Selmer Bringsjord,et al.  On Automating the Doctrine of Double Effect , 2017, IJCAI.

[9]  Bernhard Nebel,et al.  Cooperative Epistemic Multi-Agent Planning for Implicit Coordination , 2017, M4M@ICLA.

[10]  Luís Moniz Pereira,et al.  Agent Morality via Counterfactuals in Logic Programming , 2017, Bridging@CogSci.

[11]  Paolo Traverso,et al.  Automated Planning and Acting , 2016 .

[12]  Michael Fisher,et al.  Formal verification of ethical choices in autonomous systems , 2016, Robotics Auton. Syst..

[13]  Gianluigi Greco,et al.  The Complexity of LTL on Finite Traces: Hard and Easy Fragments , 2016, AAAI.

[14]  Jean-Gabriel Ganascia,et al.  Modelling Moral Reasoning and Ethical Responsibility with Logic Programming , 2015, LPAR.

[15]  Bernhard Nebel,et al.  Coming up With Good Excuses: What to do When no Plan Can be Found , 2010, Cognitive Robotics.

[16]  Julia Driver,et al.  Ethics: The Fundamentals , 2006 .

[17]  Malte Helmert,et al.  The Fast Downward Planning System , 2006, J. Artif. Intell. Res..

[18]  Maria Fox,et al.  Validating Plans in the Context of Processes and Exogenous Events , 2005, AAAI.

[19]  Susan Leigh Anderson,et al.  Machine ethics : papers from the AAAI Fall Symposium , 2005 .

[20]  Claudia V. Goldman,et al.  Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis , 2004, J. Artif. Intell. Res..

[21]  David E. Smith.  Choosing Objectives in Over-Subscription Planning , 2004, ICAPS.

[22]  Jussi Rintanen,et al.  Expressive Equivalence of Formalisms for Planning with Sensing , 2003, ICAPS.

[23]  Stephen Cresswell,et al.  Planning with Timed Literals and Deadlines , 2003 .

[24]  Bernhard Nebel,et al.  COMPLEXITY RESULTS FOR SAS+ PLANNING , 1995, Comput. Intell..

[25]  Oren Etzioni,et al.  The First Law of Robotics (A Call to Arms) , 1994, AAAI.

[26]  Franz von Kutschera,et al.  Causation , 1993, J. Philos. Log..

[27]  J. Thomson.  The Trolley Problem , 1985 .

[28]  P. Foot.  The Problem of Abortion and the Doctrine of the Double Effect , 2020, The Doctrine of Double Effect.

[29]  Joseph T. Mangan.  An Historical Analysis of the Principle of Double Effect , 1949 .