Naveen Sundar Govindarajulu
Naveen Sundar Govindarajulu
Workday
Verified email at realityengines.ai
Title
Cited by
Cited by
Year
On Automating the Doctrine of Double Effect
NSGS Bringsjord
International Joint Conference on Artificial Intelligence, 4722-4730, 2017
76*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
692015
Given the W eb, What is Intelligence, Really?
S Bringsjord, NS Govindarajulu
Metaphilosophy 43 (4), 464-479, 2012
392012
Toward a modern geography of minds, machines, and math
S Bringsjord, NS Govindarajulu
Philosophy and theory of artificial intelligence, 151-165, 2013
342013
Akratic robots and the computational logic thereof
S Bringsjord, D Thero, M Si
2014 IEEE International Symposium on Ethics in Science, Technology andá…, 2014
322014
Password management using doodles
NS Govindarajulu, S Madhvanath
Proceedings of the 9th international conference on Multimodal interfacesá…, 2007
30*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
252012
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
242015
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
232019
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
212014
Strength Factors: An Uncertainty System for a Quantified Modal Logic
NS Govindarajulu, S Bringsjord
arXiv preprint arXiv:1705.10726, 2017
202017
Proof verification and proof discovery for relativity
NS Govindarajalulu, S Bringsjord, J Taylor
Synthese 192 (7), 2077-2094, 2015
202015
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
202013
Toward axiomatizing consciousness
S Bringsjord, P Bello, NS Govindarajulu
The bloomsbury companion to the philosophy of consciousness, 289-324, 2018
162018
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
132019
In defense of the unprovability of the church-turing thesis
S Bringsjord, NS Govindarajulu
122010
On logicist agent-based economics
S Bringsjord, NS Govindarajulu, J Licato, A Sen, J Johnson, A Bringsjord, ...
Proceedings of Artificial Economics, 2015
112015
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
112013
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
102017
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
102016
The system can't perform the operation now. Try again later.
Articles 1–20