@article(AdadiB18,
 author       = {Amina Adadi and Mohammed Berrada},
 year         = {2018},
 title        = {Peeking Inside the Black-Box: {A} Survey on Explainable Artificial Intelligence {(XAI)}},
 journal      = {{IEEE} Access},
 volume       = {6},
 pages        = {52138--52160},
 doi          = {10.1109/ACCESS.2018.2870052},
)
@inproceedings(AndersonA08,
 author       = {Michael Anderson and Susan Leigh Anderson},
 year         = {2008},
 title        = {{ETHEL:} Toward a Principled Ethical Eldercare System},
 booktitle    = {{AI} in Eldercare: New Solutions to Old Problems, Papers from the 2008 {AAAI} Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008},
 series       = {{AAAI} Technical Report},
 volume       = {{FS-08-02}},
 publisher    = {{AAAI}},
 pages        = {4--11},
 url          = {http://www.aaai.org/Library/Symposia/Fall/fs08-02.php},
)
@inproceedings(AndersonA14,
 author       = {Michael Anderson and Susan Leigh Anderson},
 year         = {2014},
 title        = {GenEth: {A} General Ethical Dilemma Analyzer},
 booktitle    = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
 publisher    = {{AAAI} Press},
 pages        = {253--261},
 doi          = {10.1515/pjbr-2018-0024},
)
@inproceedings(anderson2004towards,
 author       = {Michael Anderson and Susan Leigh Anderson and Chris Armen},
 year         = {2004},
 title        = {Towards machine ethics},
 booktitle    = {AAAI-04 workshop on agent organizations: theory and practice, San Jose, CA},
)
@inproceedings(AndersonAA05,
 author       = {Michael Anderson and Susan Leigh Anderson and Chris Armen},
 year         = {2005},
 title        = {MedEthEx: Toward a Medical Ethics Advisor},
 booktitle    = {Caring Machines: {AI} in Eldercare, Papers from the 2005 {AAAI} Fall Symposium, Arlington, Virginia, USA, November 4-6, 2005.},
 series       = {{AAAI} Technical Report},
 volume       = {{FS-05-02}},
 publisher    = {{AAAI} Press},
 pages        = {9--16},
 url          = {https://www.aaai.org/Library/Symposia/Fall/fs05-02.php},
)
@inproceedings(arkoudas2005toward,
 author       = {Konstantine Arkoudas and Selmer Bringsjord and Paul Bello},
 year         = {2005},
 title        = {Toward ethical robots via mechanized deontic logic},
 booktitle    = {AAAI Fall Symposium on Machine Ethics},
 pages        = {17--23},
)
@book(asimovrobot,
 author       = {Isaac Asimov},
 year         = {1950},
 title        = {I, robot},
 publisher    = {Gnome Press},
)
@inproceedings(AtkinsonB06,
 author       = {Katie Atkinson and Bench{-}Capon, Trevor J. M.},
 year         = {2006},
 title        = {Addressing Moral Problems Through Practical Reasoning},
 booktitle    = {Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, {DEON} 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {4048},
 publisher    = {Springer},
 pages        = {8--23},
 doi          = {10.1007/11786849_4},
)
@article(beauchamp1991principles,
 author       = {Tom L Beauchamp and James F Childless},
 year         = {1991},
 title        = {Principles of Biomedical Ethics},
 journal      = {International Clinical Psychopharmacology},
 volume       = {6},
 number       = {2},
 pages        = {129--130},
 doi          = {10.1001/jama.1984.03340360075041},
)
@book(beebee2009oxford,
 author       = {Helen Beebee and Christopher Hitchcock and Peter Menzies},
 year         = {2009},
 title        = {The Oxford handbook of causation},
 publisher    = {Oxford University Press},
 doi          = {10.1093/oxfordhb/9780199279739.001.0001},
)
@inproceedings(BerrebyBG17,
 author       = {Fiona Berreby and Gauvain Bourgne and Jean{-}Gabriel Ganascia},
 year         = {2017},
 title        = {A Declarative Modular Framework for Representing and Applying Ethical Principles},
 booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
 publisher    = {{ACM}},
 pages        = {96--104},
 url          = {http://dl.acm.org/citation.cfm?id=3091145},
)
@inproceedings(BodikT12,
 author       = {Bod{\'{\i}}k, Rastislav and Emina Torlak},
 year         = {2012},
 title        = {Synthesizing Programs with Constraint Solvers},
 booktitle    = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7358},
 publisher    = {Springer},
 pages        = {3},
 doi          = {10.1007/978-3-642-31424-7\_3},
)
@article(BratkoM95,
 author       = {Ivan Bratko and Stephen Muggleton},
 year         = {1995},
 title        = {Applications of Inductive Logic Programming},
 journal      = {Commun. {ACM}},
 volume       = {38},
 number       = {11},
 pages        = {65--70},
 doi          = {10.1145/219717.219771},
)
@article(ASPJournal2016,
 author       = {Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski (eds.)},
 year         = {2016},
 title        = {Answer Set Programming: Special Issue},
 journal      = {{AI} Magazine},
 volume       = {37},
 number       = {3},
)
@article(BringsjordAB06,
 author       = {Selmer Bringsjord and Konstantine Arkoudas and Paul Bello},
 year         = {2006},
 title        = {Toward a General Logicist Methodology for Engineering Ethically Correct Robots},
 journal      = {{IEEE} Intelligent Systems},
 volume       = {21},
 number       = {4},
 pages        = {38--44},
 url          = {https://doi.org/10.1109/MIS.2006.82},
)
@article(abs-1911-01547,
 author       = {Fran{\c{c}}ois Chollet},
 year         = {2019},
 title        = {On the Measure of Intelligence},
 journal      = {CoRR},
 volume       = {abs/1911.01547},
 url          = {http://arxiv.org/abs/1911.01547},
)
@inproceedings(CointeBB16,
 author       = {Nicolas Cointe and Gr{\'{e}}gory Bonnet and Olivier Boissier},
 year         = {2016},
 title        = {Ethical Judgment of Agents' Behaviors in Multi-Agent Systems},
 booktitle    = {Proceedings of the 2016 International Conference on Autonomous Agents {\&} Multiagent Systems, Singapore, May 9-13, 2016},
 publisher    = {{ACM}},
 pages        = {1106--1114},
 url          = {http://dl.acm.org/citation.cfm?id=2937086},
)
@inproceedings(ConitzerSBDK17,
 author       = {Vincent Conitzer and Sinnott{-}Armstrong, Walter and Jana Schaich Borg and Yuan Deng and Max Kramer},
 year         = {2017},
 title        = {Moral Decision Making Frameworks for Artificial Intelligence},
 editor       = {Satinder P. Singh and Shaul Markovitch},
 booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, {USA}},
 publisher    = {{AAAI} Press},
 pages        = {4831--4835},
 url          = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14651},
)
@inproceedings(SSS1817486,
 author       = {Stefania Costantini and Giovanni De Gasperis and Abeer Dyoub and Valentina Pitoni},
 year         = {2018},
 title        = {Trustworthiness and Safety for Intelligent Ethical Logical Agents via Interval Temporal Logic and Runtime Self-Checking},
 booktitle    = {2018 {AAAI} Spring Symposia, Stanford University, Palo Alto, California, USA, March 26-28, 2018.},
 publisher    = {{AAAI} Press},
)
@inproceedings(Cropper20,
 author       = {Andrew Cropper},
 year         = {2020},
 title        = {Forgetting to Learn Logic Programs},
 booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020},
 publisher    = {{AAAI} Press},
 pages        = {3676--3683},
 url          = {https://aaai.org/ojs/index.php/AAAI/article/view/5776},
)
@inproceedings(CropperDM20,
 author       = {Andrew Cropper and Sebastijan Dumancic and Stephen H. Muggleton},
 year         = {2020},
 title        = {Turning 30: New Ideas in Inductive Logic Programming},
 booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020},
 publisher    = {ijcai.org},
 pages        = {4833--4839},
 doi          = {10.24963/ijcai.2020/673},
)
@article(DyoubCG18,
 author       = {Abeer Dyoub and Stefania Costantini and Giovanni De Gasperis},
 year         = {2018},
 title        = {Answer set programming and agents},
 journal      = {Knowledge Eng. Review},
 volume       = {33},
 pages        = {e19},
 doi          = {10.1017/S0269888918000164},
)
@inproceedings(ADSCFL2019,
 author       = {Abeer Dyoub and Stefania Costantini and Francesca A. Lisi},
 year         = {2019},
 title        = {{Learning Answer Set Programming Rules for Ethical Machines}},
 booktitle    = {Proceedings of the Thirty Fourth Italian Conference on Computational Logic{{CILC}}, June 19-21, 2019, Trieste, Italy},
 publisher    = {{CEUR-WS.org}},
 url          = {http://ceur-ws.org/Vol-2396/},
)
@inproceedings(ADILP2019,
 author       = {Abeer Dyoub and Stefania Costantini and Francesca A. Lisi},
 year         = {2019},
 title        = {Towards an {ILP} Application in Machine Ethics},
 booktitle    = {Inductive Logic Programming - 29th International Conference, {ILP} 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11770},
 publisher    = {Springer},
 pages        = {26--35},
 doi          = {10.1007/978-3-030-49210-6},
)
@article(ganascia2007modelling,
 author       = {Jean-Gabriel Ganascia},
 year         = {2007},
 title        = {Modelling ethical rules of lying with Answer Set Programming},
 journal      = {Ethics and information technology},
 volume       = {9},
 number       = {1},
 pages        = {39--47},
 doi          = {10.1007/s10676-006-9134-y},
)
@inproceedings(GelLif88,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 editor       = {Robert Kowalski and Kenneth Bowen},
 booktitle    = {Proc.\ of the 5th Intl.\ Conf.\ and Symposium on Logic Programming},
 publisher    = {MIT Press},
 pages        = {1070--1080},
)
@book(gensler1996formal,
 author       = {Harry J Gensler},
 year         = {1996},
 title        = {Formal Ethics},
 publisher    = {Psychology Press},
)
@article(GulwaniHKMSZ15,
 author       = {Sumit Gulwani and Hern{\'{a}}ndez{-}Orallo, Jos{\'{e}} and Emanuel Kitzelmann and Stephen H. Muggleton and Ute Schmid and Benjamin G. Zorn},
 year         = {2015},
 title        = {Inductive programming meets the real world},
 journal      = {Commun. {ACM}},
 volume       = {58},
 number       = {11},
 pages        = {90--99},
 doi          = {10.1145/2736282},
)
@inbook(henery1995,
 author       = {R. J. Henery},
 year         = {1995},
 title        = {Classification},
 pages        = {6–16},
 publisher    = {Ellis Horwood},
 address      = {USA},
)
@incollection(Hildebrandt08,
 author       = {Mireille Hildebrandt},
 year         = {2008},
 title        = {Defining Profiling: {A} New Type of Knowledge?},
 editor       = {Mireille Hildebrandt and Serge Gutwirth},
 booktitle    = {Profiling the European Citizen, Cross-Disciplinary Perspectives},
 publisher    = {Springer},
 pages        = {17--45},
 doi          = {10.1007/978-1-4020-6914-7\_2},
)
@book(horty2001agency,
 author       = {John F Horty},
 year         = {2001},
 title        = {Agency and deontic logic},
 publisher    = {Oxford University Press},
)
@book(jonsen1988abuse,
 author       = {Albert R Jonsen and Stephen Edelston Toulmin},
 year         = {1988},
 title        = {The abuse of casuistry: A history of moral reasoning},
 publisher    = {Berkeley: Univ of California Press},
)
@article(KatzourisAP15,
 author       = {Nikos Katzouris and Alexander Artikis and Georgios Paliouras},
 year         = {2015},
 title        = {Incremental learning of event definitions with Inductive Logic Programming},
 journal      = {Machine Learning},
 volume       = {100},
 number       = {2-3},
 pages        = {555--585},
 doi          = {10.1007/s10994-015-5512-1},
)
@article(LakeUTG16,
 author       = {Brenden M. Lake and Tomer D. Ullman and Joshua B. Tenenbaum and Samuel J. Gershman},
 year         = {2016},
 title        = {Building Machines That Learn and Think Like People},
 journal      = {CoRR},
 volume       = {abs/1604.00289},
 url          = {http://arxiv.org/abs/1604.00289},
)
@inproceedings(LakkarajuBL16,
 author       = {Himabindu Lakkaraju and Stephen H. Bach and Jure Leskovec},
 year         = {2016},
 title        = {Interpretable Decision Sets: {A} Joint Framework for Description and Prediction},
 booktitle    = {Proceedings of the 22nd {ACM} {SIGKDD} International Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13-17, 2016},
 publisher    = {{ACM}},
 pages        = {1675--1684},
 doi          = {10.1145/2939672.2939874},
)
@article(Lavrac99,
 author       = {Nada Lavrac},
 year         = {1999},
 title        = {Selected techniques for data mining in medicine},
 journal      = {Artif. Intell. Medicine},
 volume       = {16},
 number       = {1},
 pages        = {3--23},
 doi          = {10.1016/S0933-3657(98)00062-1},
)
@article(abs-2005-00904,
 author       = {Mark Law and Alessandra Russo and Krysia Broda},
 year         = {2020},
 title        = {The {ILASP} system for Inductive Learning of Answer Set Programs},
 journal      = {CoRR},
 volume       = {abs/2005.00904},
 url          = {https://arxiv.org/abs/2005.00904},
)
@inproceedings(LawRB19,
 author       = {Mark Law and Alessandra Russo and Krysia Broda},
 year         = {2019},
 title        = {Logic-Based Learning of Answer Set Programs},
 booktitle    = {Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures},
 series       = {Lecture Notes in Computer Science},
 volume       = {11810},
 publisher    = {Springer},
 pages        = {196--231},
 doi          = {10.1007/978-3-030-31423-1\_6},
)
@book(lloyd,
 author       = {John W. Lloyd},
 year         = {1987},
 title        = {Foundations of Logic Programming, 2nd Edition},
 publisher    = {Springer},
)
@article(MannaW80,
 author       = {Zohar Manna and Richard J. Waldinger},
 year         = {1980},
 title        = {A Deductive Approach to Program Synthesis},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {2},
 number       = {1},
 pages        = {90--121},
 doi          = {10.1145/357084.357090},
)
@article(abs-1801-00631,
 author       = {Gary Marcus},
 year         = {2018},
 title        = {Deep Learning: {A} Critical Appraisal},
 journal      = {CoRR},
 volume       = {abs/1801.00631},
 url          = {http://arxiv.org/abs/1801.00631},
)
@article(MartensVVB11,
 author       = {David Martens and Jan Vanthienen and Wouter Verbeke and Bart Baesens},
 year         = {2011},
 title        = {Performance of classification models from a user perspective},
 journal      = {Decis. Support Syst.},
 volume       = {51},
 number       = {4},
 pages        = {782--793},
 doi          = {10.1016/j.dss.2011.01.013},
)
@article(mcgough2018bad,
 author       = {Michael McGough},
 year         = {2018},
 title        = {How bad is Sacramento’s air, exactly? Google results appear at odds with reality, some say},
 journal      = {Sacramento Bee},
 volume       = {7},
)
@article(meyer1994paradoxes,
 author       = {J-J Ch Meyer and FPM Dignum and Roelf J Wieringa},
 year         = {1994},
 title        = {The paradoxes of deontic logic revisited: a computer science perspective},
 journal      = {Technical Report},
 number       = {UU-CS-1994-38},
)
@inproceedings(MichieDonald,
 author       = {Donald Michie},
 year         = {1988},
 title        = {Machine Learning in the next Five Years},
 booktitle    = {Proceedings of the 3rd European Conference on European Working Session on Learning},
 series       = {EWSL’88},
 publisher    = {Pitman Publishing, Inc.},
 address      = {USA},
 pages        = {107–122},
)
@article(MontavonLBSM17,
 author       = {Gr{\'{e}}goire Montavon and Sebastian Lapuschkin and Alexander Binder and Wojciech Samek and Klaus{-}Robert M{\"{u}}ller},
 year         = {2017},
 title        = {Explaining nonlinear classification decisions with deep Taylor decomposition},
 journal      = {Pattern Recognit.},
 volume       = {65},
 pages        = {211--222},
 doi          = {10.1016/j.patcog.2016.11.008},
)
@article(muggleton1991inductive,
 author       = {Stephen Muggleton},
 year         = {1991},
 title        = {Inductive logic programming},
 journal      = {New generation computing},
 volume       = {8},
 number       = {4},
 pages        = {295--318},
 doi          = {10.1007/BF03037089},
)
@article(MuggletonR94,
 author       = {Stephen Muggleton and Luc De Raedt},
 year         = {1994},
 title        = {Inductive Logic Programming: Theory and Methods},
 journal      = {J. Log. Program.},
 volume       = {19/20},
 pages        = {629--679},
 doi          = {10.1016/0743-1066(94)90035-3},
)
@article(MuggletonSZTB18,
 author       = {Stephen H. Muggleton and Ute Schmid and Christina Zeller and Tamaddoni{-}Nezhad, Alireza and Tarek R. Besold},
 year         = {2018},
 title        = {Ultra-Strong Machine Learning: comprehensibility of programs learned with {ILP}},
 journal      = {Mach. Learn.},
 volume       = {107},
 number       = {7},
 pages        = {1119--1140},
 doi          = {10.1007/s10994-018-5707-3},
)
@article(abs-1906-00657,
 author       = {Heimo M{\"{u}}ller and Andreas Holzinger},
 year         = {2019},
 title        = {Kandinsky Patterns},
 journal      = {CoRR},
 volume       = {abs/1906.00657},
 url          = {http://arxiv.org/abs/1906.00657},
)
@inproceedings(Murakami04,
 author       = {Yuko Murakami},
 year         = {2004},
 title        = {Utilitarian Deontic Logic},
 booktitle    = {Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004},
 publisher    = {King's College Publications},
 pages        = {211--230},
)
@book(paton1971categorical,
 author       = {Herbert James Paton},
 year         = {1971},
 title        = {The categorical imperative: A study in Kant's moral philosophy},
 volume       = {1023},
 publisher    = {University of Pennsylvania Press},
)
@book(PereiraL20,
 author       = {Lu{\'{\i}}s Moniz Pereira and Ant{\'{o}}nio Barata Lopes},
 year         = {2020},
 title        = {Machine Ethics - From Machine Morals to the Machinery of Morality},
 series       = {Studies in Applied Philosophy, Epistemology and Rational Ethics},
 volume       = {53},
 publisher    = {Springer},
 doi          = {10.1007/978-3-030-39630-5},
)
@book(PereiraS16,
 author       = {Lu{\'{\i}}s Moniz Pereira and Ari Saptawijaya},
 year         = {2016},
 title        = {Programming Machine Ethics},
 series       = {Studies in Applied Philosophy, Epistemology and Rational Ethics},
 volume       = {26},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-29354-7},
)
@article(powers2006prospects,
 author       = {Thomas M Powers},
 year         = {2006},
 title        = {Prospects for a Kantian machine},
 journal      = {IEEE Intelligent Systems},
 volume       = {21},
 number       = {4},
 pages        = {46--51},
)
@article(reiter1980logic,
 author       = {Raymond Reiter},
 year         = {1980},
 title        = {A logic for default reasoning},
 journal      = {Artificial intelligence},
 volume       = {13},
 number       = {1-2},
 pages        = {81--132},
)
@article(richards2001data,
 author       = {Graeme Richards and Rayward-Smith, Victor J. and PH S{\"o}nksen and S Carey and C Weng},
 year         = {2001},
 title        = {Data mining for indicators of early mortality in a database of clinical records},
 journal      = {Artificial intelligence in medicine},
 volume       = {22},
 number       = {3},
 pages        = {215--231},
)
@book(ross2002right,
 author       = {William David Ross},
 year         = {1930},
 title        = {The Right and the Good},
 publisher    = {Oxford University Press, Oxford},
 doi          = {10.2307/2180065},
)
@article(abs-1811-10154,
 author       = {Cynthia Rudin},
 year         = {2018},
 title        = {Please Stop Explaining Black Box Models for High Stakes Decisions},
 journal      = {CoRR},
 volume       = {abs/1811.10154},
 url          = {http://arxiv.org/abs/1811.10154},
)
@article(SaptawijayaP16,
 author       = {Ari Saptawijaya and Lu{\'{\i}}s Moniz Pereira},
 year         = {2016},
 title        = {Logic programming for modeling morality},
 journal      = {Log. J. {IGPL}},
 volume       = {24},
 number       = {4},
 pages        = {510--525},
 doi          = {10.1093/jigpal/jzw025},
)
@misc(sergot2016engineering,
 author       = {Marek Sergot},
 year         = {2016},
 title        = {{Prioritised Defeasible Imperatives}},
 howpublished = {Dagstuhl Seminar 16222 Engineering Moral Agents – from Human Morality to Artificial Morality},
 url          = {https://materials.dagstuhl.de/files/16/16222/16222.MarekSergot.Slides.pdf},
 note         = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
)
@article(SousaSDPGGSH16,
 author       = {Reudismam Rolim de Sousa and Gustavo Soares and Loris D'Antoni and Oleksandr Polozov and Sumit Gulwani and Rohit Gheyi and Ryo Suzuki and Bjoern Hartmann},
 year         = {2016},
 title        = {Learning Syntactic Program Transformations from Examples},
 journal      = {CoRR},
 volume       = {abs/1608.09000},
 url          = {http://arxiv.org/abs/1608.09000},
)
@article(VarshneyA16,
 author       = {Kush R. Varshney and Homa Alemzadeh},
 year         = {2016},
 title        = {On the Safety of Machine Learning: Cyber-Physical Systems, Decision Sciences, and Data Products},
 journal      = {CoRR},
 volume       = {abs/1610.01256},
 url          = {http://arxiv.org/abs/1610.01256},
)
@article(WallachAS08,
 author       = {Wendell Wallach and Colin Allen and Iva Smit},
 year         = {2008},
 title        = {Machine morality: bottom-up and top-down approaches for modelling human moral faculties},
 journal      = {{AI} Soc.},
 volume       = {22},
 number       = {4},
 pages        = {565--582},
 doi          = {10.1007/s00146-007-0099-0},
)
@article(wexler2018life,
 author       = {Rebecca Wexler},
 year         = {2018},
 title        = {Life, liberty, and trade secrets: Intellectual property in the criminal justice system},
 journal      = {Stanford Law Review},
 volume       = {70},
 pages        = {1343},
)