Naveen Sundar Govindarajulu
Naveen Sundar Govindarajulu
Verified email at
Cited by
Cited by
On Automating the Doctrine of Double Effect
NSGS Bringsjord
International Joint Conference on Artificial Intelligence, 4722-4730, 2017
Real robots that pass human tests of self-consciousness
S Bringsjord, J Licato, NS Govindarajulu, R Ghosh, A Sen
2015 24th IEEE international symposium on robot and human interactiveá…, 2015
Given the W eb, What is Intelligence, Really?
S Bringsjord, NS Govindarajulu
Metaphilosophy 43 (4), 464-479, 2012
Toward a modern geography of minds, machines, and math
S Bringsjord, NS Govindarajulu
Philosophy and theory of artificial intelligence, 151-165, 2013
Akratic robots and the computational logic thereof
S Bringsjord, D Thero, M Si
2014 IEEE International Symposium on Ethics in Science, Technology andá…, 2014
Password management using doodles
NS Govindarajulu, S Madhvanath
Proceedings of the 9th international conference on Multimodal interfacesá…, 2007
Method and computer program product for generating shortcuts for launching computer program functionality on a computer
M Sridhar, D Mandalapu, NS Govindarajulu, S Madhvanath
US Patent 8,214,767, 2012
Ethical regulation of robots must be embedded in their operating systems
NS Govindarajulu, S Bringsjord
A Construction Manual for Robots' Ethical Systems, 85-99, 2015
Toward the engineering of virtuous machines
NS Govindarajulu, S Bringsjord, R Ghosh, V Sarathy
Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 29-35, 2019
Nuclear deterrence and the logic of deliberative mindreading
S Bringsjord, NS Govindarajulu, S Ellis, E McCarty, J Licato
Cognitive Systems Research 28, 20-43, 2014
Strength Factors: An Uncertainty System for a Quantified Modal Logic
NS Govindarajulu, S Bringsjord
arXiv preprint arXiv:1705.10726, 2017
Proof verification and proof discovery for relativity
NS Govindarajalulu, S Bringsjord, J Taylor
Synthese 192 (7), 2077-2094, 2015
Analogico-deductive generation of G÷del's first incompleteness theorem from the liar paradox
J Licato, NS Govindarajulu, S Bringsjord, M Pomeranz, L Gittelson
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
Toward axiomatizing consciousness
S Bringsjord, P Bello, NS Govindarajulu
The bloomsbury companion to the philosophy of consciousness, 289-324, 2018
Beyond the doctrine of double effect: A formal model of true self-sacrifice
NS Govindarajulu, S Bringsjord, R Ghosh, M Peveler
Robotics and Well-Being, 39-54, 2019
In defense of the unprovability of the church-turing thesis
S Bringsjord, NS Govindarajulu
On logicist agent-based economics
S Bringsjord, NS Govindarajulu, J Licato, A Sen, J Johnson, A Bringsjord, ...
Proceedings of Artificial Economics, 2015
Small steps toward hypercomputation via infinitary machine proof verification and proof generation
NS Govindarajulu, J Licato, S Bringsjord
International Conference on Unconventional Computing and Natural Computationá…, 2013
Do Machine-Learning Machines Learn?
S Bringsjord, NS Govindarajulu, S Banerjee, J Hummel
3rd Conference on" Philosophy and Theory of Artificial Intelligence, 136-157, 2017
Leibniz’s art of infallibility, Watson, and the philosophy, theory, and future of AI
S Bringsjord, NS Govindarajulu
Fundamental Issues of Artificial Intelligence, 185-202, 2016
The system can't perform the operation now. Try again later.
Articles 1–20