References

  1. Patrick Blackburn, Johan F. A. K. van Benthem & Frank Wolter (2006): Handbook of Modal Logic. Elsevier Science Inc., New York, NY, USA.
  2. Selmer Bringsjord (2017): A 21st-Century Ethical Hierarchy for Robots and Persons: EH. In: A World with Robots: International Conference on Robot Ethics: ICRE 2015 84. Springer, Lisbon, Portugal, pp. 47, doi:10.1007/978-3-642-31674-6_11.
  3. Selmer Bringsjord, Konstantine Arkoudas & Paul Bello (2006): Toward a General Logicist Methodology for Engineering Ethically Correct Robots. IEEE Intelligent Systems 21(4), pp. 38–44, doi:10.1109/MIS.2006.82. Available at http://kryten.mm.rpi.edu/bringsjord_inference_robot_ethics_preprint.pdf.
  4. Selmer Bringsjord & Naveen Sundar Govindarajulu (2012): Given the Web, What is Intelligence, Really?. Metaphilosophy 43(4), pp. 361–532, doi:10.1111/j.1467-9973.2012.01760.x. Available at http://kryten.mm.rpi.edu/SB NSG Real Intelligence 040912.pdf. This URL is to a preprint of the paper.
  5. Selmer Bringsjord & Naveen Sundar Govindarajulu (2013): Toward a Modern Geography of Minds, Machines, and Math. In: Vincent C. Müller: Philosophy and Theory of Artificial Intelligence, Studies in Applied Philosophy, Epistemology and Rational Ethics 5. Springer, New York, NY, pp. 151–165, doi:10.1007/978-3-642-31674-6_11. Available at http://www.springerlink.com/content/hg712w4l23523xw5.
  6. Selmer Bringsjord & Naveen Sundar Govindarajulu (2019): Learning Ex Nihilo. CoRR abs/1903.03515. Available at http://arxiv.org/abs/1903.03515.
  7. Selmer Bringsjord, Naveen Sundar Govindarajulu, Daniel Thero & Mei Si (2014): Akratic Robots and the Computational Logic Thereof. In: Proceedings of ETHICS 2014 (2014 IEEE Symposium on Ethics in Engineering, Science, and Technology), Chicago, IL, pp. 22–29, doi:10.1109/ETHICS.2014.6893436. IEEE Catalog Number: CFP14ETI-POD..
  8. Selmer Bringsjord, Joshua Taylor, Andrew Shilliday, Micah Clark & Konstantine Arkoudas (2008): Slate: An Argument-Centered Intelligent Assistant to Human Reasoners. In: Floriana Grasso, Nancy Green, Rodger Kibble & Chris Reed: Proceedings of the 8th International Workshop on Computational Models of Natural Argument (CMNA 8). University of Patras, Patras, Greece, pp. 1–10. Available at http://kryten.mm.rpi.edu/Bringsjord_etal_Slate_cmna_crc_061708.pdf.
  9. Fiery Cushman, Liane Young & Marc Hauser (2006): The Role of Conscious Reasoning and Intuition in Moral Judgment Testing Three Principles of Harm. Psychological Science 17(12), pp. 1082–1089, doi:10.1111/j.1467-9280.2006.01834.x.
  10. Fred Feldman (1978): Introductory Ethics. Prentice-Hall, Englewood Cliffs, NJ.
  11. Naveen Sundar Govindarajulu & Selmer Bringsjord (2017): On Automating the Doctrine of Double Effect. In: Carles Sierra: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17, Melbourne, Australia, pp. 4722–4730, doi:10.24963/ijcai.2017/658. Preprint available at this url: https://arxiv.org/abs/1703.08922.
  12. Naveen Sundar Govindarajulu, Selmer Bringsjord & Rikhiya Ghosh (2018): One Formalization of Virtue Ethics via Learning. CoRR abs/1805.07797. Available at http://arxiv.org/abs/1805.07797. To be Presented at the 2018 International Association for Computing and Philosophy (IACAP) - Annual Meeting, June 21-23, 2018, Warsaw, Poland.
  13. Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh & Matthew Peveler (2019): Beyond the Doctrine of Double Effect: A Formal Model of True Self-sacrifice, pp. 39–54. Springer International Publishing, Cham, doi:10.1007/978-3-030-12524-0_5.
  14. Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh & Vasanth Sarathy (2019): Toward the Engineering of Virtuous Machines. In: Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, AIES '19. ACM, New York, NY, USA, pp. 29–35, doi:10.1145/3306618.3314256.
  15. N.S. Govindarajulu & S. Bringsjord (2017): On Automating the Doctrine of Double Effect. In: C. Sierra: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17). International Joint Conferences on Artificial Intelligence, pp. 4722–4730, doi:10.24963/ijcai.2017/658.
  16. Naveen Sundar Govindarjaulu (2017): ShadowProver: A Fast and Exact Prover for Higher-order Modal Logic, doi:10.5281/zenodo.1451808. Available at https://doi.org/10.5281/zenodo.1451808. URL: https://github.com/naveensundarg/prover.
  17. Mark Stickel, Richard Waldinger, Michael Lowry, Thomas Pressburger & Ian Underwood (1994): Deductive Composition of Astronomical Software From Subroutine Libraries. In: Proceedings of the Twelfth International Conference on Automated Deduction (CADE–12), Nancy, France, pp. 341–355, doi:10.1007/3-540-58156-1_24. Available at http://www.ai.sri.com/~stickel/snark.html.
  18. M. Wooldridge (2002): An Introduction to Multi Agent Systems. MIT Press, Cambridge MA.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org