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
73*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
222019
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
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
Strength Factors: An Uncertainty System for a Quantified Modal Logic
NS Govindarajulu, S Bringsjord
arXiv preprint arXiv:1705.10726, 2017
192017
Proof verification and proof discovery for relativity
NS Govindarajalulu, S Bringsjord, J Taylor
Synthese 192 (7), 2077-2094, 2015
192015
Toward axiomatizing consciousness
S Bringsjord, P Bello, NS Govindarajulu
The bloomsbury companion to the philosophy of consciousness, 289-324, 2018
152018
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