| 2026 | ICAART | Filtering Goals of Necessity-Optimal Agents in Qualitative Possibilistic Recognition via Planning. | Brandon Rozek, Selmer Bringsjord |
| 2025 | AAAI | A Modal Logic of Optimality (Student Abstract). | James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson, Selmer Bringsjord |
| 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 | Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots. | Selmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz |
| 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 | ECAI | Deontic Counteridenticals and the Design of Ethically Correct Intelligent Agents: First Steps. | Selmer Bringsjord, Rikhiya Ghosh, James Pane-Joyce |
| 2016 | IJCAI | Crowdsourcing Theorem Proving via Natural Games. | Naveen Sundar Govindarajulu, Selmer Bringsjord |
| 2015 | RO-MAN | Constraints on freely chosen action for moral robots: Consciousness and control. | Paul Bello, John Licato, 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 |
| 2014 | CogSci | Using a Hybrid Cognitive Architecture to Model Children's Errors in an Analogy Task. | John Licato, Ron Sun, Selmer Bringsjord |
| 2014 | IJCNN | Structural representation and reasoning in a hybrid cognitive architecture. | John Licato, Ron Sun, Selmer Bringsjord |
| 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 |
| 2009 | IC3K | Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic. | Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani |
| 2008 | PRICAI | Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. | Konstantine Arkoudas, Selmer Bringsjord |
| 2007 | ER | Provability-Based Semantic Interoperability Via Translation Graphs. | Joshua Taylor, Andrew Shilliday, Selmer Bringsjord |
| 2003 | IJCAI | What is Artificial Intelligence? Psychometric AI as an Answer. | Selmer Bringsjord, Bettina Schimanski |
| 1997 | AAAI | Chess Isn't Tough Enough: Better Games for Mind-Machine Competition. | Selmer Bringsjord, Adam Lally |
| 1991 | IJCAI | In Defense of Hyper-Logicist AI. | Selmer Bringsjord, Michael Zenzen |