Naveen Sundar Govindarajulu

50 papers A* 3B 4C 1Misc 2Journal 19Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Ethically Permissible Pursuit of Quantum Consciousness. AGI (1) Selmer Bringsjord, Naveen Sundar Govindarajulu, Brian McDermott, Alexander Bringsjord
2023	J	`jnl`	A Partially Synthesized Position on the Automation of Machine Ethics. Digit. Soc. Vivek Nallur, Louise A. Dennis, Selmer Bringsjord, Naveen Sundar Govindarajulu
2023	—	`conf`	Affect-based Planning for a Meta-Cognitive Robot Sculptor: First Steps. ACIIW Selmer Bringsjord, John Slowik, Naveen Sundar Govindarajulu, Michael Giancola, James T. Oswald, Rikhiya Ghosh
2023	J	`jnl`	Argument-based inductive logics, with coverage of compromised perception. Frontiers Artif. Intell. Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu, John Slowik, James T. Oswald, Paul Bello, Micah Clark
2023	—	`conf`	The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds. AGI Selmer Bringsjord, James T. Oswald, Michael Giancola, Brandon Rozek, Naveen Sundar Govindarajulu
2022	—	`conf`	Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster). CAKR@IJCAI Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
2022	—	`conf`	PERI.2 Goes to PreSchool and Beyond, in Search of AGI. AGI Selmer Bringsjord, Naveen Sundar Govindarajulu, John Slowik, James T. Oswald, Michael Giancola, John Angel, Shreya Banerjee, Aidan Flaherty
2022	Misc	`conf`	Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI. FLAIRS Shreya Banerjee, Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu
2022	—	`conf`	Toward Generating Natural-Language Explanations of Modal-Logic Proofs. AGI Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
2021	J	`jnl`	AI Can Stop Mass Shootings, and More. CoRR Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola
2021	J	`jnl`	Automated argument adjudication to solve ethical problems in multi-agent environments. Paladyn J. Behav. Robotics Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola
2021	J	`jnl`	Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8. Theory Pract. Log. Program. Selmer Bringsjord, Naveen Sundar Govindarajulu
2020	—	`conf`	Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI. GCAI Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato
2020	—	`conf`	Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems. Robophilosophy Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu
2020	A*	`conf`	Intra-Processing Methods for Debiasing Neural Networks. NeurIPS Yash Savani, Colin White, Naveen Sundar Govindarajulu
2020	—	`conf`	Learning Ex Nihilo. GCAI Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato, Michael Giancola
2020	J	`jnl`	Post-Hoc Methods for Debiasing Neural Networks. CoRR Yash Savani, Colin White, Naveen Sundar Govindarajulu
2020	J	`jnl`	Rectifying the Mischaracterization of Logic by Mental Model Theorists. Cogn. Sci. Selmer Bringsjord, Naveen Sundar Govindarajulu
2019	B	`conf`	A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate. CogSci Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Christina Elmore
2019	—	`conf`	Introducing Λ for Measuring Cognitive Consciousness. AAAI Spring Symposium: Towards Conscious AI Systems Selmer Bringsjord, Naveen Sundar Govindarajulu
2019	J	`jnl`	Learning Ex Nihilo. CoRR Selmer Bringsjord, Naveen Sundar Govindarajulu
2019	B	`conf`	Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks. CogSci Selmer Bringsjord, Naveen Sundar Govindarajulu, Christina Elmore
2019	—	`conf`	On Datasets for Evaluating Architectures for Learning to Reason. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering Naveen Sundar Govindarajulu, Jean-Claude Paquin, Shreya Banerjee, Atriya Sen, Paul Mayol, Selmer Bringsjord
2019	—	`conf`	On Quantified Modal Theorem Proving for Modeling Ethics. ARCADE@CADE Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler
2019	C	`conf`	Toward the Engineering of Virtuous Machines. AIES Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh, Vasanth Sarathy
2019	—	`conf`	Towards a Computable & Harnessable Model of Consciousness. AAAI Spring Symposium: Towards Conscious AI Systems Naveen Sundar Govindarajulu, Selmer Bringsjord
2018	Misc	`conf`	Extending Formal Models of the Doctrine of Double Effect with Emotions. ISAIM Naveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord
2018	J	`jnl`	One Formalization of Virtue Ethics via Learning. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh
2018	J	`jnl`	Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced. CoRR Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Matthew Peveler, Biplav Srivastava, Kartik Talamadupula
2018	J	`jnl`	Toward Formalizing Teleportation of Pedagogical Artificial Agents. CoRR John Angel, Naveen Sundar Govindarajulu, Selmer Bringsjord
2018	—	`conf`	Toward a Smart City Using Tentacular AI. AmI Atriya Sen, Selmer Bringsjord, Naveen Sundar Govindarajulu, Paul Mayol, Rikhiya Ghosh, Biplav Srivastava, Kartik Talamadupula
2018	J	`jnl`	Toward the Engineering of Virtuous Machines. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh
2017	J	`jnl`	Counterfactual Conditionals in Quantified Modal Logic. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord
2017	—	`conf`	Do Machine-Learning Machines Learn? PT-AI Selmer Bringsjord, Naveen Sundar Govindarajulu, Shreya Banerjee, John Hummel
2017	A*	`conf`	On Automating the Doctrine of Double Effect. IJCAI Naveen Sundar Govindarajulu, Selmer Bringsjord
2017	J	`jnl`	On Automating the Doctrine of Double Effect. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord
2017	J	`jnl`	Proof Verification Can Be Hard! CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord
2017	J	`jnl`	Strength Factors: An Uncertainty System for a Quantified Modal Logic. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord
2016	—	`conf`	Crowdsourcing Theorem Proving via Natural Games. Bridging@IJCAI Naveen Sundar Govindarajulu, Selmer Bringsjord
2015	—	`ch.`	Ethical Regulation of Robots Must Be Embedded in Their Operating Systems. A Construction Manual for Robots' Ethical Systems Naveen Sundar Govindarajulu, Selmer Bringsjord
2015	J	`jnl`	Proof verification and proof discovery for relativity. Synth. Naveen Sundar Govindarajulu, Selmer Bringsjord, Joshua Taylor
2015	B	`conf`	Real robots that pass human tests of self-consciousness. RO-MAN Selmer Bringsjord, John Licato, Naveen Sundar Govindarajulu, Rikhiya Ghosh, Atriya Sen
2014	J	`jnl`	Nuclear deterrence and the logic of deliberative mindreading. Cogn. Syst. Res. Selmer Bringsjord, Naveen Sundar Govindarajulu, Simon Ellis, Evan McCarty, John Licato
2014	—	`conf`	Toward a Formalization of QA Problem Classes. AGI Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord
2013	A*	`conf`	Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox. IJCAI John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson
2013	—	`conf`	Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI. PT-AI Selmer Bringsjord, Naveen Sundar Govindarajulu
2013	—	`conf`	Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation. UCNC Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord
2012	J	`jnl`	The Myth of 'the Myth of Hypercomputation'. Parallel Process. Lett. Naveen Sundar Govindarajulu, Selmer Bringsjord
2011	—	`conf`	Toward a Modern Geography of Minds, Machines, and Math. PT-AI Selmer Bringsjord, Naveen Sundar Govindarajulu
2007	B	`conf`	Password management using doodles. ICMI Naveen Sundar Govindarajulu, Sriganesh Madhvanath