In Defense of Hyper-Logicist AI. - Selmer Bringsjord; Michael Zenzen (IJCAI, 1991)

Is the connectionist-logicist clash one of AI's wonderful red herrings? - Selmer Bringsjord (J. Exp. Theor. Artif. Intell., 1991)

Navigating through the Frame Problem: Review of Reasoning Agents in a Dynamic World. - Selmer Bringsjord; Christopher A. Welty (AI Mag., 1994)

computation, among other things, is beneath us. - Selmer Bringsjord (Minds Mach., 1994)

Book reviews. - Valerie L. Shalin; Wray L. Buntine; S. Gillian Parker; James Higginbotham; Afzal Ballim; Anthony S. Maida; Charles R. Fletcher; David L. Kemerer; Lawrence A. Shapiro; Richard Wyatt 001; Deepak Kumar 002; Selmer Bringsjord; et al. (Minds Mach., 1995)

The case against AI from imagistic expertise. - Selmer Bringsjord; Elizabeth Bringsjord (J. Exp. Theor. Artif. Intell., 1996)

Chess Isn't Tough Enough: Better Games for Mind-Machine Competition. - Selmer Bringsjord; Adam Lally (Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, 1997)

Strong AI Is Simply Silly. - Selmer Bringsjord (AI Mag., 1997)

Cognition Is Not Computation: The Argument from Irreversibility. - Selmer Bringsjord; Michael Zenzen (Synth., 1997)

Computationalism is dead; now what? - Selmer Bringsjord (J. Exp. Theor. Artif. Intell., 1998)

Logic and Artificial Intelligence: Divorced, Still Married, Separated ...? - Selmer Bringsjord; David A. Ferrucci (Minds Mach., 1998)

Reply to Glymour and Thayse. - Selmer Bringsjord; David A. Ferrucci (Minds Mach., 1998)

A refutation of Penrose's Gödelian case against artificial intelligence. - Selmer Bringsjord; Hong Xiao (J. Exp. Theor. Artif. Intell., 2000)

Animals, Zombanimals, and the Total Turing Test. - Selmer Bringsjord; Clarke Caporale; Ron Noel (J. Log. Lang. Inf., 2000)

Clarifying the Logic of Anti-Computationalism: Reply to Hauser. - Selmer Bringsjord (Minds Mach., 2000)

John Searle, The Mystery of Consciousness. - Selmer Bringsjord (Minds Mach., 2000)

Is It Possible to Build Dramatically Compelling Interactive Digital Entertainment (in the form, e.g., of computer games)? - Selmer Bringsjord (Game Stud., 2001)

In Computation, Parallel is Nothing, Physical Everything. - Selmer Bringsjord (Minds Mach., 2001)

Creativity, the Turing Test, and the (Better) Lovelace Test. - Selmer Bringsjord; Paul Bello; David A. Ferrucci (Minds Mach., 2001)

Toward a Formal Philosophy of Hypercomputation. - Selmer Bringsjord; Michael Zenzen (Minds Mach., 2002)

What is Artificial Intelligence? Psychometric AI as an Answer. - Selmer Bringsjord; Bettina Schimanski (IJCAI, 2003)

HILBERT & PATRIC: Hybrid Intelligent Agent Technology for Teaching Context-Independent Reasoning. - Paul Bello; Selmer Bringsjord (J. Educ. Technol. Soc., 2003)

"Pulling it All Together" via Psychometric AI. - Selmer Bringsjord; Bettina Schimanski (AAAI Technical Report (1), 2004)

Metareasoning for Multi-agent Epistemic Logics. - Konstantine Arkoudas; Selmer Bringsjord (CLIMA, 2004)

P=NP - Selmer Bringsjord; Joshua Taylor (CoRR, 2004)

On Building Robot Persons: Response to Zlatev. - Selmer Bringsjord (Minds Mach., 2004)

The modal argument for hypercomputing minds. - Selmer Bringsjord; Konstantine Arkoudas (Theor. Comput. Sci., 2004)

For Problems Sufficiently Hard ... AI Needs CogSci. - Selmer Bringsjord; Micah Clark (AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems, 2006)

A new Gödelian argument for hypercomputing minds based on the busy beaver problem. - Selmer Bringsjord; Owen Kellett; Andrew Shilliday; Joshua Taylor; Bram van Heuveln; Yingrui Yang; Jeffrey Baumes; Kyle Ross (Appl. Math. Comput., 2006)

Toward a General Logicist Methodology for Engineering Ethically Correct Robots. - Selmer Bringsjord; Konstantine Arkoudas; Paul Bello (IEEE Intell. Syst., 2006)

Human reasoning is heterogeneous - as Jon Barwise informed us. - Selmer Bringsjord; Yingrui Yang (J. Exp. Theor. Artif. Intell., 2006)

The mental possible worlds mechanism and the lobster problem: an analysis of a complex GRE logical reasoning task. - Yingrui Yang; Selmer Bringsjord; Paul Bello (J. Exp. Theor. Artif. Intell., 2006)

Reporting on Some Logic-Based Machine Reading Research. - Selmer Bringsjord; Konstantine Arkoudas; Micah Clark; Andrew Shilliday; Joshua Taylor; Bettina Schimanski; Yingrui Yang (AAAI Spring Symposium: Machine Reading, 2007)

Provability-Based Semantic Interoperability Via Translation Graphs. - Joshua Taylor; Andrew Shilliday; Selmer Bringsjord (ER Workshops, 2007)

The Multi-Mind Effect. - Selmer Bringsjord; Konstantine Arkoudas; Deepa Mukherjee; Andrew Edward Shilliday; Joshua Taylor; Micah Henry Clark; Elizabeth Bringsjord (IC-AI, 2007)

Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning. - Andrew Shilliday; Joshua Taylor; Micah Clark; Selmer Bringsjord (OIC, 2007)

Computers, Justification, and Mathematical Knowledge. - Konstantine Arkoudas; Selmer Bringsjord (Minds Mach., 2007)

Organizing Committee. - Selmer Bringsjord; Andrew Shilliday (AAAI Fall Symposium: Automated Scientific Discovery, 2008)

Discovery Using Heterogeneous Combined Logics. - Joshua Taylor; Selmer Bringsjord (AAAI Fall Symposium: Automated Scientific Discovery, 2008)

Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments. - Selmer Bringsjord; Andrew Shilliday; Joshua Taylor; Dan Werner; Micah Clark; Ed Charpentier; Alexander Bringsjord (AGI, 2008)

Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. - Konstantine Arkoudas; Selmer Bringsjord (PRICAI, 2008)

Ethical robots: the future can heed us. - Selmer Bringsjord (AI Soc., 2008)

The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself. - Selmer Bringsjord (J. Appl. Log., 2008)

Cognitive Systems and Cognitive Architectures. - Ron Sun; Selmer Bringsjord (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic. - Konstantine Arkoudas; Selmer Bringsjord; Sangeet Khemlani (KEOD, 2009)

Vivid: A framework for heterogeneous problem solving. - Konstantine Arkoudas; Selmer Bringsjord (Artif. Intell., 2009)

Propositional Attitudes and Causation. - Konstantine Arkoudas; Selmer Bringsjord (Int. J. Softw. Informatics, 2009)

In Defense of the Unprovability of the Church-Turing Thesis. - Selmer Bringsjord; Naveen Sundar G. (Int. J. Unconv. Comput., 2010)

God, souls, and Turing: in defense of the theological objection to the Turing test. - Selmer Bringsjord (Kybernetes, 2010)

In Defense of the Neo-Piagetian Approach to Modeling and Engineering Human-Level Cognitive Systems. - John Licato; Selmer Bringsjord (AAAI Fall Symposium: Advances in Cognitive Systems, 2011)

Creativity and conducting: handle in the CAIRA project. - Selmer Bringsjord; Colin Kuebler; Joshua Taylor; Griffin Milsap; Sean Austin; Jonas Braasch; Pauline Oliveros; Doug Van Nort; Adam Rosenkrantz; Kasia Hayden (Creativity & Cognition, 2011)

Psychometric artificial intelligence. - Selmer Bringsjord (J. Exp. Theor. Artif. Intell., 2011)

A bottom-up complement to the logic-based top-down approach to the story arrangement test. - Nate Chapin; Boleslaw K. Szymanski; Selmer Bringsjord; Bettina Schimanski (J. Exp. Theor. Artif. Intell., 2011)

Toward a Modern Geography of Minds, Machines, and Math. - Selmer Bringsjord; Naveen Sundar Govindarajulu (PT-AI, 2011)

Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation. - Selmer Bringsjord; Naveen Sundar G.; Eugene Eberbach; Yingrui Yang (Int. J. Unconv. Comput., 2012)

The Myth of 'the Myth of Hypercomputation'. - Naveen Sundar Govindarajulu; Selmer Bringsjord (Parallel Process. Lett., 2012)

Red-Pill Robots Only, Please. - Selmer Bringsjord; Micah Henry Clark (IEEE Trans. Affect. Comput., 2012)

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 (IJCAI, 2013)

Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI. - Selmer Bringsjord; Naveen Sundar Govindarajulu (PT-AI, 2013)

Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation. - Naveen Sundar Govindarajulu; John Licato; Selmer Bringsjord (UCNC, 2013)

Toward a Formalization of QA Problem Classes. - Naveen Sundar Govindarajulu; John Licato; Selmer Bringsjord (AGI, 2014)

Using Meta-Cognition for Regulating Explanatory Quality Through a Cognitive Architecture. - John Licato; Ron Sun; Selmer Bringsjord (AIC, 2014)

Using a Hybrid Cognitive Architecture to Model Children's Errors in an Analogy Task. - John Licato; Ron Sun; Selmer Bringsjord (CogSci, 2014)

Structural representation and reasoning in a hybrid cognitive architecture. - John Licato; Ron Sun; Selmer Bringsjord (IJCNN, 2014)

Nuclear deterrence and the logic of deliberative mindreading. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Simon Ellis; Evan McCarty; John Licato (Cogn. Syst. Res., 2014)

Can Accomplices to Fraud Will Themselves to Innocence, and Thereby Dodge Counter-Fraud Machines? - Selmer Bringsjord; Alexander Bringsjord (AAAI Fall Symposia, 2015)

Modeling the Creation and Development of Cause-Effect Pairs for Explanation Generation in a Cognitive Architecture. - John Licato; Nick Marton; Boning Dong; Ron Sun; Selmer Bringsjord (AIC, 2015)

Constraints on freely chosen action for moral robots: Consciousness and control. - Paul Bello; John Licato; Selmer Bringsjord (RO-MAN, 2015)

Real robots that pass human tests of self-consciousness. - Selmer Bringsjord; John Licato; Naveen Sundar Govindarajulu; Rikhiya Ghosh; Atriya Sen (RO-MAN, 2015)

Modeling interoperability between a reflex and reasoning system in a physical simulation environment. - Konner Atkin; John Licato; Selmer Bringsjord (SpringSim (Posters), 2015)

Creating and reasoning over scene descriptions in a physically realistic simulation. - Nick Marton; John Licato; Selmer Bringsjord (SpringSim (ADS), 2015)

The symbol grounding problem ... remains unsolved. - Selmer Bringsjord (J. Exp. Theor. Artif. Intell., 2015)

Proof verification and proof discovery for relativity. - Naveen Sundar Govindarajulu; Selmer Bringsjord; Joshua Taylor (Synth., 2015)

Ethical Regulation of Robots Must Be Embedded in Their Operating Systems. - Naveen Sundar Govindarajulu; Selmer Bringsjord (A Construction Manual for Robots' Ethical Systems, 2015)

Deontic Counteridenticals and the Design of Ethically Correct Intelligent Agents: First Steps. - Selmer Bringsjord; Rikhiya Ghosh; James Pane-Joyce (EDIA@ECAI, 2016)

Crowdsourcing Theorem Proving via Natural Games. - Naveen Sundar Govindarajulu; Selmer Bringsjord (Bridging@IJCAI, 2016)

Can Phronetic Robots Be Engineered by Computational Logicians? No … and Yes. - Selmer Bringsjord (Robophilosophy/TRANSOR, 2016)

On Creative Self-Driving Cars: Hire the Computational Logicians, Fast. - Selmer Bringsjord; Atriya Sen (Appl. Artif. Intell., 2016)

The 2015 AAAI Fall Symposium Series Reports. - Nisar Ahmed; Paul Bello; Selmer Bringsjord; Micah Clark; Bradley Hayes; Christopher Miller; Frans A. Oliehoek; Frank Stein; Matthijs T. J. Spaan (AI Mag., 2016)

Two Problems Afflicting the Search for a Standard Model of the Mind. - Paul Bello; Selmer Bringsjord (AAAI Fall Symposia, 2017)

On Automating the Doctrine of Double Effect. - Naveen Sundar Govindarajulu; Selmer Bringsjord (IJCAI, 2017)

Do Machine-Learning Machines Learn? - Selmer Bringsjord; Naveen Sundar Govindarajulu; Shreya Banerjee 001; John Hummel (PT-AI, 2017)

Proof Verification Can Be Hard! - Naveen Sundar Govindarajulu; Selmer Bringsjord (CoRR, 2017)

Strength Factors: An Uncertainty System for a 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)

Counterfactual Conditionals in Quantified Modal Logic. - Naveen Sundar Govindarajulu; Selmer Bringsjord (CoRR, 2017)

An Argument for P=NP. - Selmer Bringsjord (Minds Mach., 2017)

Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas. - Selmer Bringsjord (Minds Mach., 2017)

Toward a Smart City Using Tentacular AI. - Atriya Sen; Selmer Bringsjord; Naveen Sundar Govindarajulu; Paul Mayol; Rikhiya Ghosh; Biplav Srivastava; Kartik Talamadupula (AmI, 2018)

Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots. - Selmer Bringsjord; Naveen Sundar G.; Bertram F. Malle; Matthias Scheutz (ISAIM, 2018)

Extending Formal Models of the Doctrine of Double Effect with Emotions. - Naveen Sundar Govindarajulu; Rikhiya Ghosh; Selmer Bringsjord (ISAIM, 2018)

Toward Formalizing Teleportation of Pedagogical Artificial Agents. - John Angel; Naveen Sundar Govindarajulu; Selmer Bringsjord (CoRR, 2018)

One Formalization of Virtue Ethics via Learning. - 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)

Toward the Engineering of Virtuous Machines. - Naveen Sundar Govindarajulu; Selmer Bringsjord; Rikhiya Ghosh (CoRR, 2018)

Introducing Λ for Measuring Cognitive Consciousness. - Selmer Bringsjord; Naveen Sundar Govindarajulu (AAAI Spring Symposium: Towards Conscious AI Systems, 2019)

Towards a Computable & Harnessable Model of Consciousness. - Naveen Sundar Govindarajulu; Selmer Bringsjord (AAAI Spring Symposium: Towards Conscious AI Systems, 2019)

On Datasets for Evaluating Architectures for Learning to Reason. - Naveen Sundar Govindarajulu; Jean-Claude Paquin; Shreya Banerjee 001; Atriya Sen; Paul Mayol; Selmer Bringsjord (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering, 2019)

Toward the Engineering of Virtuous Machines. - Naveen Sundar Govindarajulu; Selmer Bringsjord; Rikhiya Ghosh; Vasanth Sarathy (AIES, 2019)

Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Christina Elmore (CogSci, 2019)

A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Atriya Sen; Christina Elmore (CogSci, 2019)

Learning Ex Nihilo. - Selmer Bringsjord; Naveen Sundar Govindarajulu (CoRR, 2019)

On Quantified Modal Theorem Proving for Modeling Ethics. - Naveen Sundar Govindarajulu; Selmer Bringsjord; Matthew Peveler (ARCADE@CADE, 2019)

Editorial: Consciousness in Humanoid Robots. - Antonio Chella; Angelo Cangelosi; Giorgio Metta; Selmer Bringsjord (Frontiers Robotics AI, 2019)

A Response to Núñez et al.'s (2019) "What Happened to Cognitive Science?". - Marjorie McShane; Selmer Bringsjord; James A. Hendler; Sergei Nirenburg; Ron Sun (Top. Cogn. Sci., 2019)

Learning Ex Nihilo. - Selmer Bringsjord; Naveen Sundar Govindarajulu; John Licato; Michael Giancola (GCAI, 2020)

Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI. - Michael Giancola; Selmer Bringsjord; Naveen Sundar Govindarajulu; John Licato (GCAI, 2020)

Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems. - Selmer Bringsjord; Michael Giancola; Naveen Sundar Govindarajulu (Robophilosophy, 2020)

Rectifying the Mischaracterization of Logic by Mental Model Theorists. - Selmer Bringsjord; Naveen Sundar Govindarajulu (Cogn. Sci., 2020)

The Theory of Cognitive Consciousness, and Λ (Lambda). - Selmer Bringsjord; Naveen Sundar G. (J. Artif. Intell. Conscious., 2020)

AI Can Stop Mass Shootings, and More. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Michael Giancola (CoRR, 2021)

Automated argument adjudication to solve ethical problems in multi-agent environments. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Michael Giancola (Paladyn J. Behav. Robotics, 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)

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 001; Aidan Flaherty (AGI, 2022)

Toward Generating Natural-Language Explanations of Modal-Logic Proofs. - Michael Giancola; Selmer Bringsjord; Naveen Sundar Govindarajulu (AGI, 2022)

Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI. - Shreya Banerjee 001; Selmer Bringsjord; Michael Giancola; Naveen Sundar Govindarajulu (FLAIRS, 2022)

Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster). - Michael Giancola; Selmer Bringsjord; Naveen Sundar Govindarajulu (CAKR@IJCAI, 2022)

Commentary: absent logic-based precision, Hancock's desired avoidance is just wishful thinking. - Selmer Bringsjord (Hum. Comput. Interact., 2022)

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 (ACIIW, 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 (AGI, 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., 2023)

A Partially Synthesized Position on the Automation of Machine Ethics. - Vivek Nallur; Louise A. Dennis; Selmer Bringsjord; Naveen Sundar Govindarajulu (Digit. Soc., 2023)

A Universal Intelligence Measure for Arithmetical Uncomputable Environments. - James T. Oswald; Thomas Macaulay Ferguson; Selmer Bringsjord (AGI, 2024)

The Technology of Outrage: Bias in Artificial Intelligence. - Will Bridewell; Paul Bello; Selmer Bringsjord (CoRR, 2024)

Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning. - Brandon Rozek; Selmer Bringsjord (Künstliche Intell., 2024)

A Modal Logic of Optimality (Student Abstract). - James T. Oswald; Brandon Rozek; Thomas Macaulay Ferguson; Selmer Bringsjord (AAAI, 2025)

Ethically Permissible Pursuit of Quantum Consciousness. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Brian McDermott; Alexander Bringsjord (AGI (1), 2025)

On the Arrowian Impossibility of Machine Intelligence Measures. - James T. Oswald; Thomas M. Ferguson; Selmer Bringsjord (AGI (2), 2025)