Naveen Sundar Govindarajulu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2007–2023
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ACII | 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 |
| 2022 | FlAIRS | Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI. | Shreya Banerjee, Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu |
| 2022 | IJCAI | Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster). | Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu |
| 2019 | AIES | Toward the Engineering of Virtuous Machines. | Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh, Vasanth Sarathy |
| 2019 | CogSci | Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks. | Selmer Bringsjord, Naveen Sundar Govindarajulu, Christina Elmore |
| 2019 | CogSci | A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate. | Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Christina Elmore |
| 2018 | ISAIM | Extending Formal Models of the Doctrine of Double Effect with Emotions. | Naveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord |
| 2017 | IJCAI | On Automating the Doctrine of Double Effect. | Naveen Sundar Govindarajulu, Selmer Bringsjord |
| 2016 | IJCAI | Crowdsourcing Theorem Proving via Natural Games. | Naveen Sundar Govindarajulu, Selmer Bringsjord |
| 2015 | RO-MAN | Real robots that pass human tests of self-consciousness. | Selmer Bringsjord, John Licato, Naveen Sundar Govindarajulu, Rikhiya Ghosh, Atriya Sen |
| 2013 | IJCAI | Analogico-Deductive Generation of Gdel's First Incompleteness Theorem from the Liar Paradox. | John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson |
| 2013 | UC | Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation. | Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord |
| 2007 | ICMI | Password management using doodles. | Naveen Sundar Govindarajulu, Sriganesh Madhvanath |