default search action
Naveen Sundar G.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]R. Golden Nancy, R. Venkatesan, Naveen Sundar G., T. Jemima Jebaseeli:
A Framework of Digital Twins for Improving Respiratory Health and Healthcare Measures. Scalable Comput. Pract. Exp. 25(4): 3214-3223 (2024) - [j14]Neethu Krishna, Naveen Sundar G., D. Narmadha:
Vector Based Genetic Lavrentyev Paraboloid Network Wireless Sensor Network Lifetime Improvement. Wirel. Pers. Commun. 134(4): 1917-1944 (2024) - 2023
- [j13]Vivek Nallur, Louise A. Dennis, Selmer Bringsjord, Naveen Sundar Govindarajulu:
A Partially Synthesized Position on the Automation of Machine Ethics. Digit. Soc. 2(2) (2023) - [j12]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) - [j11]Naveen Sundar G., K. Anushka Xavier, D. Narmadha, K. Martin Sagayam, A. Amir Anton Jone, Marc Pomplun, Hien Dang:
Intelligent computational techniques of machine learning models for demand analysis and prediction. Int. J. Intell. Inf. Database Syst. 16(1): 39-61 (2023) - [j10]Chethna Joy, Naveen Sundar G., D. Narmadha:
Artificial Intelligence Based Test Systems to Resist Waterborne Diseases by Early and Rapid Identification of Pathogens: A Review. SN Comput. Sci. 4(2): 180 (2023) - [c30]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: 1-8 - [c29]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: 62-73 - 2022
- [c28]Selmer Bringsjord, Naveen Sundar Govindarajulu, John Slowik, James T. Oswald, Michael Giancola, John Angel, Shreya Banerjee, Aidan Flaherty:
PERI.2 Goes to PreSchool and Beyond, in Search of AGI. AGI 2022: 178-187 - [c27]Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu:
Toward Generating Natural-Language Explanations of Modal-Logic Proofs. AGI 2022: 220-230 - [c26]Shreya Banerjee, Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu:
Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI. FLAIRS 2022 - [c25]Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu:
Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster). CAKR@IJCAI 2022 - 2021
- [j9]Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola:
Automated argument adjudication to solve ethical problems in multi-agent environments. Paladyn J. Behav. Robotics 12(1): 310-335 (2021) - [j8]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): 283-290 (2021) - [i12]Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola:
AI Can Stop Mass Shootings, and More. CoRR abs/2102.09343 (2021) - 2020
- [j7]Selmer Bringsjord, Naveen Sundar Govindarajulu:
Rectifying the Mischaracterization of Logic by Mental Model Theorists. Cogn. Sci. 44(12) (2020) - [j6]Selmer Bringsjord, Naveen Sundar G.:
The Theory of Cognitive Consciousness, and Λ (Lambda). J. Artif. Intell. Conscious. 7(2): 155-181 (2020) - [c24]Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato, Michael Giancola:
Learning Ex Nihilo. GCAI 2020: 1-27 - [c23]Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato:
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI. GCAI 2020: 28-33 - [c22]Yash Savani, Colin White, Naveen Sundar Govindarajulu:
Intra-Processing Methods for Debiasing Neural Networks. NeurIPS 2020 - [c21]Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu:
Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems. Robophilosophy 2020: 440-456 - [i11]Yash Savani, Colin White, Naveen Sundar Govindarajulu:
Post-Hoc Methods for Debiasing Neural Networks. CoRR abs/2006.08564 (2020)
2010 – 2019
- 2019
- [c20]Selmer Bringsjord, Naveen Sundar Govindarajulu:
Introducing Λ for Measuring Cognitive Consciousness. AAAI Spring Symposium: Towards Conscious AI Systems 2019 - [c19]Naveen Sundar Govindarajulu, Selmer Bringsjord:
Towards a Computable & Harnessable Model of Consciousness. AAAI Spring Symposium: Towards Conscious AI Systems 2019 - [c18]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 - [c17]Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh, Vasanth Sarathy:
Toward the Engineering of Virtuous Machines. AIES 2019: 29-35 - [c16]Selmer Bringsjord, Naveen Sundar Govindarajulu, Christina Elmore:
Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks. CogSci 2019: 43-44 - [c15]Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Christina Elmore:
A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate. CogSci 2019: 3417 - [c14]Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler:
On Quantified Modal Theorem Proving for Modeling Ethics. ARCADE@CADE 2019: 43-49 - [i10]Selmer Bringsjord, Naveen Sundar Govindarajulu:
Learning Ex Nihilo. CoRR abs/1903.03515 (2019) - 2018
- [c13]Atriya Sen, Selmer Bringsjord, Naveen Sundar Govindarajulu, Paul Mayol, Rikhiya Ghosh, Biplav Srivastava, Kartik Talamadupula:
Toward a Smart City Using Tentacular AI. AmI 2018: 106-112 - [c12]Selmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz:
Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots. ISAIM 2018 - [c11]Naveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord:
Extending Formal Models of the Doctrine of Double Effect with Emotions. ISAIM 2018 - [i9]John Angel, Naveen Sundar Govindarajulu, Selmer Bringsjord:
Toward Formalizing Teleportation of Pedagogical Artificial Agents. CoRR abs/1804.03342 (2018) - [i8]Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh:
One Formalization of Virtue Ethics via Learning. CoRR abs/1805.07797 (2018) - [i7]Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Matthew Peveler, Biplav Srivastava, Kartik Talamadupula:
Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced. CoRR abs/1810.07007 (2018) - [i6]Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh:
Toward the Engineering of Virtuous Machines. CoRR abs/1812.03868 (2018) - 2017
- [c10]Naveen Sundar Govindarajulu, Selmer Bringsjord:
On Automating the Doctrine of Double Effect. IJCAI 2017: 4722-4730 - [c9]Selmer Bringsjord, Naveen Sundar Govindarajulu, Shreya Banerjee, John Hummel:
Do Machine-Learning Machines Learn? PT-AI 2017: 136-157 - [i5]Naveen Sundar Govindarajulu, Selmer Bringsjord:
Proof Verification Can Be Hard! CoRR abs/1703.08746 (2017) - [i4]Naveen Sundar Govindarajulu, Selmer Bringsjord:
On Automating the Doctrine of Double Effect. CoRR abs/1703.08922 (2017) - [i3]Naveen Sundar Govindarajulu, Selmer Bringsjord:
Strength Factors: An Uncertainty System for a Quantified Modal Logic. CoRR abs/1705.10726 (2017) - [i2]Matthew Peveler, Biplav Srivastava, Kartik Talamadupula, Naveen Sundar G., Selmer Bringsjord, Hui Su:
Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework. CoRR abs/1709.05958 (2017) - [i1]Naveen Sundar Govindarajulu, Selmer Bringsjord:
Counterfactual Conditionals in Quantified Modal Logic. CoRR abs/1710.04161 (2017) - 2016
- [c8]Naveen Sundar Govindarajulu, Selmer Bringsjord:
Crowdsourcing Theorem Proving via Natural Games. Bridging@IJCAI 2016: 28-42 - 2015
- [j5]Naveen Sundar Govindarajulu, Selmer Bringsjord, Joshua Taylor:
Proof verification and proof discovery for relativity. Synth. 192(7): 2077-2094 (2015) - [c7]Selmer Bringsjord, John Licato, Naveen Sundar Govindarajulu, Rikhiya Ghosh, Atriya Sen:
Real robots that pass human tests of self-consciousness. RO-MAN 2015: 498-504 - [p1]Naveen Sundar Govindarajulu, Selmer Bringsjord:
Ethical Regulation of Robots Must Be Embedded in Their Operating Systems. A Construction Manual for Robots' Ethical Systems 2015: 85-99 - 2014
- [j4]Selmer Bringsjord, Naveen Sundar Govindarajulu, Simon Ellis, Evan McCarty, John Licato:
Nuclear deterrence and the logic of deliberative mindreading. Cogn. Syst. Res. 28: 20-43 (2014) - [c6]Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord:
Toward a Formalization of QA Problem Classes. AGI 2014: 228-233 - 2013
- [b1]Naveen Sundar G.:
Uncomputable games: games for crowdsourcing formal reasoning. Rensselaer Polytechnic Institute, USA, 2013 - [c5]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: 1004-1009 - [c4]Selmer Bringsjord, Naveen Sundar Govindarajulu:
Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI. PT-AI 2013: 185-202 - [c3]Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord:
Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation. UCNC 2013: 102-112 - 2012
- [j3]Selmer Bringsjord, Naveen Sundar G., Eugene Eberbach, Yingrui Yang:
Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation. Int. J. Unconv. Comput. 8(1): 3-32 (2012) - [j2]Naveen Sundar Govindarajulu, Selmer Bringsjord:
The Myth of 'the Myth of Hypercomputation'. Parallel Process. Lett. 22(3) (2012) - 2011
- [c2]Selmer Bringsjord, Naveen Sundar Govindarajulu:
Toward a Modern Geography of Minds, Machines, and Math. PT-AI 2011: 151-165 - 2010
- [j1]Selmer Bringsjord, Naveen Sundar G.:
In Defense of the Unprovability of the Church-Turing Thesis. Int. J. Unconv. Comput. 6(5): 353-373 (2010)
2000 – 2009
- 2007
- [c1]Naveen Sundar Govindarajulu, Sriganesh Madhvanath:
Password management using doodles. ICMI 2007: 236-239
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint