Password management using doodles. - Naveen Sundar Govindarajulu; Sriganesh Madhvanath (ICMI, 2007)

In Defense of the Unprovability of the Church-Turing Thesis. - Selmer Bringsjord; Naveen Sundar G. (Int. J. Unconv. Comput., 2010)

Toward a Modern Geography of Minds, Machines, and Math. - Selmer Bringsjord; Naveen Sundar Govindarajulu (PT-AI, 2011)

Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation. - Selmer Bringsjord; Naveen Sundar G.; Eugene Eberbach; Yingrui Yang (Int. J. Unconv. Comput., 2012)

The Myth of 'the Myth of Hypercomputation'. - Naveen Sundar Govindarajulu; Selmer Bringsjord (Parallel Process. Lett., 2012)

Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox. - John Licato; Naveen Sundar Govindarajulu; Selmer Bringsjord; Michael Pomeranz; Logan Gittelson (IJCAI, 2013)

Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI. - Selmer Bringsjord; Naveen Sundar Govindarajulu (PT-AI, 2013)

Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation. - Naveen Sundar Govindarajulu; John Licato; Selmer Bringsjord (UCNC, 2013)

Uncomputable games: games for crowdsourcing formal reasoning. - Naveen Sundar G. (2013)

Toward a Formalization of QA Problem Classes. - Naveen Sundar Govindarajulu; John Licato; Selmer Bringsjord (AGI, 2014)

Nuclear deterrence and the logic of deliberative mindreading. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Simon Ellis; Evan McCarty; John Licato (Cogn. Syst. Res., 2014)

Real robots that pass human tests of self-consciousness. - Selmer Bringsjord; John Licato; Naveen Sundar Govindarajulu; Rikhiya Ghosh; Atriya Sen (RO-MAN, 2015)

Proof verification and proof discovery for relativity. - Naveen Sundar Govindarajulu; Selmer Bringsjord; Joshua Taylor (Synth., 2015)

Ethical Regulation of Robots Must Be Embedded in Their Operating Systems. - Naveen Sundar Govindarajulu; Selmer Bringsjord (A Construction Manual for Robots' Ethical Systems, 2015)

Crowdsourcing Theorem Proving via Natural Games. - Naveen Sundar Govindarajulu; Selmer Bringsjord (Bridging@IJCAI, 2016)

On Automating the Doctrine of Double Effect. - Naveen Sundar Govindarajulu; Selmer Bringsjord (IJCAI, 2017)

Do Machine-Learning Machines Learn? - Selmer Bringsjord; Naveen Sundar Govindarajulu; Shreya Banerjee 001; John Hummel (PT-AI, 2017)

Proof Verification Can Be Hard! - Naveen Sundar Govindarajulu; Selmer Bringsjord (CoRR, 2017)

Strength Factors: An Uncertainty System for a Quantified Modal Logic. - Naveen Sundar Govindarajulu; Selmer Bringsjord (CoRR, 2017)

Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework. - Matthew Peveler; Biplav Srivastava; Kartik Talamadupula; Naveen Sundar G.; Selmer Bringsjord; Hui Su (CoRR, 2017)

Counterfactual Conditionals in Quantified Modal Logic. - Naveen Sundar Govindarajulu; Selmer Bringsjord (CoRR, 2017)

Toward a Smart City Using Tentacular AI. - Atriya Sen; Selmer Bringsjord; Naveen Sundar Govindarajulu; Paul Mayol; Rikhiya Ghosh; Biplav Srivastava; Kartik Talamadupula (AmI, 2018)

Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots. - Selmer Bringsjord; Naveen Sundar G.; Bertram F. Malle; Matthias Scheutz (ISAIM, 2018)

Extending Formal Models of the Doctrine of Double Effect with Emotions. - Naveen Sundar Govindarajulu; Rikhiya Ghosh; Selmer Bringsjord (ISAIM, 2018)

Toward Formalizing Teleportation of Pedagogical Artificial Agents. - John Angel; Naveen Sundar Govindarajulu; Selmer Bringsjord (CoRR, 2018)

One Formalization of Virtue Ethics via Learning. - Naveen Sundar Govindarajulu; Selmer Bringsjord; Rikhiya Ghosh (CoRR, 2018)

Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Atriya Sen; Matthew Peveler; Biplav Srivastava; Kartik Talamadupula (CoRR, 2018)

Toward the Engineering of Virtuous Machines. - Naveen Sundar Govindarajulu; Selmer Bringsjord; Rikhiya Ghosh (CoRR, 2018)

Introducing Λ for Measuring Cognitive Consciousness. - Selmer Bringsjord; Naveen Sundar Govindarajulu (AAAI Spring Symposium: Towards Conscious AI Systems, 2019)

Towards a Computable & Harnessable Model of Consciousness. - Naveen Sundar Govindarajulu; Selmer Bringsjord (AAAI Spring Symposium: Towards Conscious AI Systems, 2019)

On Datasets for Evaluating Architectures for Learning to Reason. - Naveen Sundar Govindarajulu; Jean-Claude Paquin; Shreya Banerjee 001; Atriya Sen; Paul Mayol; Selmer Bringsjord (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering, 2019)

Toward the Engineering of Virtuous Machines. - Naveen Sundar Govindarajulu; Selmer Bringsjord; Rikhiya Ghosh; Vasanth Sarathy (AIES, 2019)

Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Christina Elmore (CogSci, 2019)

A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Atriya Sen; Christina Elmore (CogSci, 2019)

Learning Ex Nihilo. - Selmer Bringsjord; Naveen Sundar Govindarajulu (CoRR, 2019)

On Quantified Modal Theorem Proving for Modeling Ethics. - Naveen Sundar Govindarajulu; Selmer Bringsjord; Matthew Peveler (ARCADE@CADE, 2019)

Learning Ex Nihilo. - Selmer Bringsjord; Naveen Sundar Govindarajulu; John Licato; Michael Giancola (GCAI, 2020)

Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI. - Michael Giancola; Selmer Bringsjord; Naveen Sundar Govindarajulu; John Licato (GCAI, 2020)

Intra-Processing Methods for Debiasing Neural Networks. - Yash Savani; Colin White; Naveen Sundar Govindarajulu (NeurIPS, 2020)

Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems. - Selmer Bringsjord; Michael Giancola; Naveen Sundar Govindarajulu (Robophilosophy, 2020)

Rectifying the Mischaracterization of Logic by Mental Model Theorists. - Selmer Bringsjord; Naveen Sundar Govindarajulu (Cogn. Sci., 2020)

Post-Hoc Methods for Debiasing Neural Networks. - Yash Savani; Colin White; Naveen Sundar Govindarajulu (CoRR, 2020)

The Theory of Cognitive Consciousness, and Λ (Lambda). - Selmer Bringsjord; Naveen Sundar G. (J. Artif. Intell. Conscious., 2020)

AI Can Stop Mass Shootings, and More. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Michael Giancola (CoRR, 2021)

Automated argument adjudication to solve ethical problems in multi-agent environments. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Michael Giancola (Paladyn J. Behav. Robotics, 2021)

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. - Selmer Bringsjord; Naveen Sundar Govindarajulu (Theory Pract. Log. Program., 2021)

PERI.2 Goes to PreSchool and Beyond, in Search of AGI. - Selmer Bringsjord; Naveen Sundar Govindarajulu; John Slowik; James T. Oswald; Michael Giancola; John Angel; Shreya Banerjee 001; Aidan Flaherty (AGI, 2022)

Toward Generating Natural-Language Explanations of Modal-Logic Proofs. - Michael Giancola; Selmer Bringsjord; Naveen Sundar Govindarajulu (AGI, 2022)

Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI. - Shreya Banerjee 001; Selmer Bringsjord; Michael Giancola; Naveen Sundar Govindarajulu (FLAIRS, 2022)

Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster). - Michael Giancola; Selmer Bringsjord; Naveen Sundar Govindarajulu (CAKR@IJCAI, 2022)

Affect-based Planning for a Meta-Cognitive Robot Sculptor: First Steps. - Selmer Bringsjord; John Slowik; Naveen Sundar Govindarajulu; Michael Giancola; James T. Oswald; Rikhiya Ghosh (ACIIW, 2023)

The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds. - Selmer Bringsjord; James T. Oswald; Michael Giancola; Brandon Rozek; Naveen Sundar Govindarajulu (AGI, 2023)

Intelligent computational techniques of machine learning models for demand analysis and prediction. - Naveen Sundar G.; K. Anushka Xavier; D. Narmadha; K. Martin Sagayam 001; A. Amir Anton Jone; Marc Pomplun; Hien Dang 001 (Int. J. Intell. Inf. Database Syst., 2023)

Argument-based inductive logics, with coverage of compromised perception. - Selmer Bringsjord; Michael Giancola; Naveen Sundar Govindarajulu; John Slowik; James T. Oswald; Paul Bello; Micah Clark (Frontiers Artif. Intell., 2023)

Artificial Intelligence Based Test Systems to Resist Waterborne Diseases by Early and Rapid Identification of Pathogens: A Review. - Chethna Joy; Naveen Sundar G.; D. Narmadha (SN Comput. Sci., 2023)

A Partially Synthesized Position on the Automation of Machine Ethics. - Vivek Nallur; Louise A. Dennis; Selmer Bringsjord; Naveen Sundar Govindarajulu (Digit. Soc., 2023)

A Framework of Digital Twins for Improving Respiratory Health and Healthcare Measures. - R. Golden Nancy; R. Venkatesan; Naveen Sundar G.; T. Jemima Jebaseeli (Scalable Comput. Pract. Exp., 2024)

Vector Based Genetic Lavrentyev Paraboloid Network Wireless Sensor Network Lifetime Improvement. - Neethu Krishna; Naveen Sundar G.; D. Narmadha (Wirel. Pers. Commun., 2024)

Ethically Permissible Pursuit of Quantum Consciousness. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Brian McDermott; Alexander Bringsjord (AGI (1), 2025)