@book(blackburn2006handbook,
 author       = {Patrick Blackburn and Johan F. A. K. van Benthem and Frank Wolter},
 year         = {2006},
 title        = {{Handbook of Modal Logic}},
 publisher    = {Elsevier Science Inc.},
 address      = {New York, NY, USA},
)
@inproceedings(bringsjord201721st,
 author       = {Selmer Bringsjord},
 year         = {2017},
 title        = {{A 21st-Century Ethical Hierarchy for Robots and Persons: $\mathcal{EH}$}},
 booktitle    = {A World with Robots: International Conference on Robot Ethics: ICRE 2015},
 volume       = {84},
 organization = {Springer},
 address      = {Lisbon, Portugal},
 pages        = {47},
 doi          = {10.1007/978-3-642-31674-6\_11},
)
@article(sb_etal_ieee_robots,
 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},
 doi          = {10.1109/MIS.2006.82},
 url          = {http://kryten.mm.rpi.edu/bringsjord\_inference\_robot\_ethics\_preprint.pdf},
)
@article(selmer_naveen_metaphil_web_intelligence,
 author       = {Selmer Bringsjord and Naveen Sundar Govindarajulu},
 year         = {2012},
 title        = {{Given the Web, What is Intelligence, Really?}},
 journal      = {Metaphilosophy},
 volume       = {43},
 number       = {4},
 pages        = {361--532},
 doi          = {10.1111/j.1467-9973.2012.01760.x},
 url          = {http://kryten.mm.rpi.edu/SB\ NSG\ Real\ Intelligence\ 040912.pdf},
 note         = {{This URL is to a preprint of the paper}},
)
@incollection(mgmmm_ptai_sb,
 author       = {Selmer Bringsjord and Naveen Sundar Govindarajulu},
 year         = {2013},
 title        = {{Toward a Modern Geography of Minds, Machines, and Math}},
 editor       = {Vincent C. M{\"{u}}ller},
 booktitle    = {Philosophy and Theory of Artificial Intelligence},
 series       = {Studies in Applied Philosophy, Epistemology and Rational Ethics},
 volume       = {5},
 publisher    = {Springer},
 address      = {New York, NY},
 pages        = {151--165},
 doi          = {10.1007/978-3-642-31674-6\_11},
 url          = {http://www.springerlink.com/content/hg712w4l23523xw5},
)
@article(DBLP:journals/corr/abs-1903-03515,
 author       = {Selmer Bringsjord and Naveen Sundar Govindarajulu},
 year         = {2019},
 title        = {Learning Ex Nihilo},
 journal      = {CoRR},
 volume       = {abs/1903.03515},
 url          = {http://arxiv.org/abs/1903.03515},
)
@inproceedings(akratic_robots_ieee_n,
 author       = {Selmer Bringsjord and Naveen Sundar Govindarajulu and Daniel Thero and Mei Si},
 year         = {2014},
 title        = {{Akratic Robots and the Computational Logic Thereof}},
 booktitle    = {Proceedings of {\textit{ETHICS} $\bullet$ 2014} (2014 IEEE Symposium on Ethics in Engineering, Science, and Technology)},
 address      = {Chicago, IL},
 pages        = {22--29},
 doi          = {10.1109/ETHICS.2014.6893436},
 note         = {{IEEE Catalog Number: CFP14ETI-POD.}},
)
@inproceedings(Slate_at_CMNA08,
 author       = {Selmer Bringsjord and Joshua Taylor and Andrew Shilliday and Micah Clark and Konstantine Arkoudas},
 year         = {2008},
 title        = {{Slate: An Argument-Centered Intelligent Assistant to Human Reasoners}},
 editor       = {Floriana Grasso and Nancy Green and Rodger Kibble and Chris Reed},
 booktitle    = {{Proceedings of the 8th International Workshop on Computational Models of Natural Argument (CMNA 8)}},
 publisher    = {University of Patras},
 address      = {Patras, Greece},
 pages        = {1--10},
 url          = {http://kryten.mm.rpi.edu/Bringsjord\_etal\_Slate\_cmna\_crc\_061708.pdf},
)
@article(cushman2006role,
 author       = {Fiery Cushman and Liane Young and Marc Hauser},
 year         = {2006},
 title        = {{The Role of Conscious Reasoning and Intuition in Moral Judgment Testing Three Principles of Harm}},
 journal      = {Psychological Science},
 volume       = {17},
 number       = {12},
 pages        = {1082--1089},
 doi          = {10.1111/j.1467-9280.2006.01834.x},
)
@book(feldman_introductory_ethics,
 author       = {Fred Feldman},
 year         = {1978},
 title        = {Introductory Ethics},
 publisher    = {Prentice-Hall},
 address      = {Englewood Cliffs, NJ},
)
@inproceedings(nsg_sb_dde_2017,
 author       = {Naveen Sundar Govindarajulu and Selmer Bringsjord},
 year         = {2017},
 title        = {{On Automating the Doctrine of Double Effect}},
 editor       = {Carles Sierra},
 booktitle    = {{Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}},
 address      = {Melbourne, Australia},
 pages        = {4722--4730},
 doi          = {10.24963/ijcai.2017/658},
 note         = {Preprint available at this url: \url{https://arxiv.org/abs/1703.08922}},
)
@article(DBLP:journals/corr/abs-1805-07797,
 author       = {Naveen Sundar Govindarajulu and Selmer Bringsjord and Rikhiya Ghosh},
 year         = {2018},
 title        = {{One Formalization of Virtue Ethics via Learning}},
 journal      = {CoRR},
 volume       = {abs/1805.07797},
 url          = {http://arxiv.org/abs/1805.07797},
 note         = {To be Presented at the 2018 International Association for Computing and Philosophy (IACAP) - Annual Meeting, June 21-23, 2018, Warsaw, Poland},
)
@inbook(Govindarajulu2019SelfSacrifice,
 author       = {Naveen Sundar Govindarajulu and Selmer Bringsjord and Rikhiya Ghosh and Matthew Peveler},
 year         = {2019},
 title        = {Beyond the Doctrine of Double Effect: A Formal Model of True Self-sacrifice},
 pages        = {39--54},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-030-12524-0\_5},
)
@inproceedings(govindarajuluetalaies2019,
 author       = {Naveen Sundar Govindarajulu and Selmer Bringsjord and Rikhiya Ghosh and Vasanth Sarathy},
 year         = {2019},
 title        = {Toward the Engineering of Virtuous Machines},
 booktitle    = {Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society},
 series       = {AIES '19},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {29--35},
 doi          = {10.1145/3306618.3314256},
)
@inproceedings(nsg_sb_dde_ijcai,
 author       = {N.S. Govindarajulu and S. Bringsjord},
 year         = {2017},
 title        = {{On Automating the Doctrine of Double Effect}},
 editor       = {C. Sierra},
 booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence ({IJCAI-17})},
 publisher    = {International Joint Conferences on Artificial Intelligence},
 pages        = {4722--4730},
 doi          = {10.24963/ijcai.2017/658},
)
@misc(naveen_sundar_g_2018_1451808,
 author       = {Naveen Sundar Govindarjaulu},
 year         = {2017},
 title        = {{ShadowProver: A Fast and Exact Prover for Higher-order Modal Logic}},
 doi          = {10.5281/zenodo.1451808},
 url          = {https://doi.org/10.5281/zenodo.1451808},
 note         = {URL: \url{https://github.com/naveensundarg/prover}},
)
@inproceedings(snark.94.cade,
 author       = {Mark Stickel and Richard Waldinger and Michael Lowry and Thomas Pressburger and Ian Underwood},
 year         = {1994},
 title        = {{Deductive Composition of Astronomical Software From Subroutine Libraries}},
 booktitle    = {Proceedings of the Twelfth International Conference on Automated Deduction {(CADE--12)}},
 address      = {Nancy, France},
 pages        = {341--355},
 doi          = {10.1007/3-540-58156-1\_24},
 url          = {http://www.ai.sri.com/~stickel/snark.html},
)
@book(wooldridge.mas,
 author       = {M. Wooldridge},
 year         = {2002},
 title        = {An Introduction to Multi Agent Systems},
 publisher    = {MIT Press},
 address      = {Cambridge MA},
)