Naveen Sundar Govindarajulu

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 40

Top Topics

Cognitive Modeling

Top Venues

Publications

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