Naveen Sundar G.

According to our database, Naveen Sundar G. authored at least 56 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Partially Synthesized Position on the Automation of Machine Ethics.

Vivek Nallur, Louise A. Dennis, Selmer Bringsjord, Naveen Sundar Govindarajulu

Digit. Soc., August, 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., March, 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., February, 2023

Intelligent computational techniques of machine learning models for demand analysis and prediction.

Naveen Sundar G., K. Anushka Xavier, D. Narmadha, K. Martin Sagayam, A. Amir Anton Jone, Marc Pomplun, Hien Dang

Int. J. Intell. Inf. Database Syst., 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

Proceedings of the Artificial General Intelligence - 16th International Conference, 2023

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

Proceedings of the 11th International Conference on Affective Computing and Intelligent Interaction, ACII 2023, 2023

2022

Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster).

Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu

Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), 2022

Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI.

Shreya Banerjee, Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

Toward Generating Natural-Language Explanations of Modal-Logic Proofs.

Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu

Proceedings of the Artificial General Intelligence - 15th International Conference, 2022

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, Aidan Flaherty

Proceedings of the Artificial General Intelligence - 15th International Conference, 2022

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

Automated argument adjudication to solve ethical problems in multi-agent environments.

Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola

Paladyn J. Behav. Robotics, 2021

AI Can Stop Mass Shootings, and More.

Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola

CoRR, 2021

2020

The Theory of Cognitive Consciousness, and Λ (Lambda).

Selmer Bringsjord, Naveen Sundar G.

J. Artif. Intell. Conscious., 2020

Post-Hoc Methods for Debiasing Neural Networks.

Yash Savani, Colin White, Naveen Sundar Govindarajulu

CoRR, 2020

Rectifying the Mischaracterization of Logic by Mental Model Theorists.

Selmer Bringsjord, Naveen Sundar Govindarajulu

Cogn. Sci., 2020

Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems.

Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu

Proceedings of the Culturally Sustainable Social Robotics, 2020

Intra-Processing Methods for Debiasing Neural Networks.

Yash Savani, Colin White, Naveen Sundar Govindarajulu

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI.

Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

Learning Ex Nihilo.

Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato, Michael Giancola

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

2019

On Quantified Modal Theorem Proving for Modeling Ethics.

Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, 2019

Learning Ex Nihilo.

Selmer Bringsjord, Naveen Sundar Govindarajulu

CoRR, 2019

A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate.

Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Christina Elmore

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks.

Selmer Bringsjord, Naveen Sundar Govindarajulu, Christina Elmore

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

Toward the Engineering of Virtuous Machines.

Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh, Vasanth Sarathy

Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019

On Datasets for Evaluating Architectures for Learning to Reason.

Naveen Sundar Govindarajulu, Jean-Claude Paquin, Shreya Banerjee, Atriya Sen, Paul Mayol, Selmer Bringsjord

Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019

Towards a Computable & Harnessable Model of Consciousness.

Naveen Sundar Govindarajulu, Selmer Bringsjord

Proceedings of the Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), 2019

Introducing Λ for Measuring Cognitive Consciousness.

Selmer Bringsjord, Naveen Sundar Govindarajulu

Proceedings of the Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), 2019

2018

Toward the Engineering of Virtuous Machines.

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

One Formalization of Virtue Ethics via Learning.

Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh

CoRR, 2018

Toward Formalizing Teleportation of Pedagogical Artificial Agents.

John Angel, Naveen Sundar Govindarajulu, Selmer Bringsjord

CoRR, 2018

Extending Formal Models of the Doctrine of Double Effect with Emotions.

Naveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots.

Selmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Toward a Smart City Using Tentacular AI.

Atriya Sen, Selmer Bringsjord, Naveen Sundar Govindarajulu, Paul Mayol, Rikhiya Ghosh, Biplav Srivastava, Kartik Talamadupula

Proceedings of the Ambient Intelligence - 14th European Conference, 2018

2017

Counterfactual Conditionals in 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

Strength Factors: An Uncertainty System for a Quantified Modal Logic.

Naveen Sundar Govindarajulu, Selmer Bringsjord

CoRR, 2017

Proof Verification Can Be Hard!

Naveen Sundar Govindarajulu, Selmer Bringsjord

CoRR, 2017

Do Machine-Learning Machines Learn?

Selmer Bringsjord, Naveen Sundar Govindarajulu, Shreya Banerjee, John Hummel

Proceedings of the Philosophy and Theory of Artificial Intelligence 2017, 2017

On Automating the Doctrine of Double Effect.

Naveen Sundar Govindarajulu, Selmer Bringsjord

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Crowdsourcing Theorem Proving via Natural Games.

Naveen Sundar Govindarajulu, Selmer Bringsjord

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

2015

Ethical Regulation of Robots Must Be Embedded in Their Operating Systems.

Naveen Sundar Govindarajulu, Selmer Bringsjord

Proceedings of the A Construction Manual for Robots' Ethical Systems, 2015

Proof verification and proof discovery for relativity.

Naveen Sundar Govindarajulu, Selmer Bringsjord, Joshua Taylor

Synth., 2015

Real robots that pass human tests of self-consciousness.

Selmer Bringsjord, John Licato, Naveen Sundar Govindarajulu, Rikhiya Ghosh, Atriya Sen

Proceedings of the 24th IEEE International Symposium on Robot and Human Interactive Communication, 2015

2014

Nuclear deterrence and the logic of deliberative mindreading.

Selmer Bringsjord, Naveen Sundar Govindarajulu, Simon Ellis, Evan McCarty, John Licato

Cogn. Syst. Res., 2014

Toward a Formalization of QA Problem Classes.

Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord

Proceedings of the Artificial General Intelligence - 7th International Conference, 2014

2013

Uncomputable games: games for crowdsourcing formal reasoning.

Naveen Sundar G.

PhD thesis, 2013

Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation.

Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord

Proceedings of the Unconventional Computation and Natural Computation, 2013

Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI.

Selmer Bringsjord, Naveen Sundar Govindarajulu

Proceedings of the Fundamental Issues of Artificial Intelligence, 2013

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

Proceedings of the IJCAI 2013, 2013

2012

The Myth of 'the Myth of Hypercomputation'.

Naveen Sundar Govindarajulu, Selmer Bringsjord

Parallel Process. Lett., 2012

Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation.

Selmer Bringsjord, Naveen Sundar G., Eugene Eberbach, Yingrui Yang

Int. J. Unconv. Comput., 2012

2011

Toward a Modern Geography of Minds, Machines, and Math.

Selmer Bringsjord, Naveen Sundar Govindarajulu

Proceedings of the Philosophy and Theory of Artificial Intelligence, 2011

2010

In Defense of the Unprovability of the Church-Turing Thesis.

Selmer Bringsjord, Naveen Sundar G.

Int. J. Unconv. Comput., 2010

2007

Password management using doodles.

Naveen Sundar Govindarajulu, Sriganesh Madhvanath

Proceedings of the 9th International Conference on Multimodal Interfaces, 2007