Selmer Bringsjord

131 papers A* 5B 8C 2Misc 4Journal 67Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Filtering Goals of Necessity-Optimal Agents in Qualitative Possibilistic Recognition via Planning. ICAART (4) Brandon Rozek, Selmer Bringsjord
2025	A*	`conf`	A Modal Logic of Optimality (Student Abstract). AAAI James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson, Selmer Bringsjord
2025	—	`conf`	Ethically Permissible Pursuit of Quantum Consciousness. AGI (1) Selmer Bringsjord, Naveen Sundar Govindarajulu, Brian McDermott, Alexander Bringsjord
2025	—	`conf`	On the Arrowian Impossibility of Machine Intelligence Measures. AGI (2) James T. Oswald, Thomas M. Ferguson, Selmer Bringsjord
2024	—	`conf`	A Universal Intelligence Measure for Arithmetical Uncomputable Environments. AGI James T. Oswald, Thomas Macaulay Ferguson, Selmer Bringsjord
2024	—	`conf`	Robot Cognition Simultaneously Social, Multi-Modal, Hypothetico-Causal, and Attention-Guided ... Solves the Symbol Grounding Problem Robophilosophy Selmer Bringsjord, John Slowik, James T. Oswald, Michael Giancola, Paul Bello
2024	J	`jnl`	Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning. Künstliche Intell. Brandon Rozek, Selmer Bringsjord
2024	J	`jnl`	The Technology of Outrage: Bias in Artificial Intelligence. CoRR Will Bridewell, Paul Bello, Selmer Bringsjord
2023	J	`jnl`	A Partially Synthesized Position on the Automation of Machine Ethics. Digit. Soc. Vivek Nallur, Louise A. Dennis, Selmer Bringsjord, Naveen Sundar Govindarajulu
2023	—	`conf`	Affect-based Planning for a Meta-Cognitive Robot Sculptor: First Steps. ACIIW Selmer Bringsjord, John Slowik, Naveen Sundar Govindarajulu, Michael Giancola, James T. Oswald, Rikhiya Ghosh
2023	J	`jnl`	Argument-based inductive logics, with coverage of compromised perception. Frontiers Artif. Intell. Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu, John Slowik, James T. Oswald, Paul Bello, Micah Clark
2023	—	`conf`	The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds. AGI Selmer Bringsjord, James T. Oswald, Michael Giancola, Brandon Rozek, Naveen Sundar Govindarajulu
2022	J	`jnl`	Commentary: absent logic-based precision, Hancock's desired avoidance is just wishful thinking. Hum. Comput. Interact. Selmer Bringsjord
2022	—	`conf`	Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster). CAKR@IJCAI Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
2022	—	`conf`	PERI.2 Goes to PreSchool and Beyond, in Search of AGI. AGI Selmer Bringsjord, Naveen Sundar Govindarajulu, John Slowik, James T. Oswald, Michael Giancola, John Angel, Shreya Banerjee, Aidan Flaherty
2022	Misc	`conf`	Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI. FLAIRS Shreya Banerjee, Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu
2022	—	`conf`	Toward Generating Natural-Language Explanations of Modal-Logic Proofs. AGI Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
2021	J	`jnl`	AI Can Stop Mass Shootings, and More. CoRR Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola
2021	J	`jnl`	Automated argument adjudication to solve ethical problems in multi-agent environments. Paladyn J. Behav. Robotics Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola
2021	J	`jnl`	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. Selmer Bringsjord, Naveen Sundar Govindarajulu
2020	—	`conf`	Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI. GCAI Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato
2020	—	`conf`	Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems. Robophilosophy Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu
2020	—	`conf`	Learning Ex Nihilo. GCAI Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato, Michael Giancola
2020	J	`jnl`	Rectifying the Mischaracterization of Logic by Mental Model Theorists. Cogn. Sci. Selmer Bringsjord, Naveen Sundar Govindarajulu
2020	J	`jnl`	The Theory of Cognitive Consciousness, and Λ (Lambda). J. Artif. Intell. Conscious. Selmer Bringsjord, Naveen Sundar G.
2019	B	`conf`	A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate. CogSci Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Christina Elmore
2019	J	`jnl`	A Response to Núñez et al.'s (2019) "What Happened to Cognitive Science?". Top. Cogn. Sci. Marjorie McShane, Selmer Bringsjord, James A. Hendler, Sergei Nirenburg, Ron Sun
2019	J	`jnl`	Editorial: Consciousness in Humanoid Robots. Frontiers Robotics AI Antonio Chella, Angelo Cangelosi, Giorgio Metta, Selmer Bringsjord
2019	—	`conf`	Introducing Λ for Measuring Cognitive Consciousness. AAAI Spring Symposium: Towards Conscious AI Systems Selmer Bringsjord, Naveen Sundar Govindarajulu
2019	J	`jnl`	Learning Ex Nihilo. CoRR Selmer Bringsjord, Naveen Sundar Govindarajulu
2019	B	`conf`	Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks. CogSci Selmer Bringsjord, Naveen Sundar Govindarajulu, Christina Elmore
2019	—	`conf`	On Datasets for Evaluating Architectures for Learning to Reason. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering Naveen Sundar Govindarajulu, Jean-Claude Paquin, Shreya Banerjee, Atriya Sen, Paul Mayol, Selmer Bringsjord
2019	—	`conf`	On Quantified Modal Theorem Proving for Modeling Ethics. ARCADE@CADE Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler
2019	C	`conf`	Toward the Engineering of Virtuous Machines. AIES Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh, Vasanth Sarathy
2019	—	`conf`	Towards a Computable & Harnessable Model of Consciousness. AAAI Spring Symposium: Towards Conscious AI Systems Naveen Sundar Govindarajulu, Selmer Bringsjord
2018	Misc	`conf`	Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots. ISAIM Selmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz
2018	Misc	`conf`	Extending Formal Models of the Doctrine of Double Effect with Emotions. ISAIM Naveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord
2018	J	`jnl`	One Formalization of Virtue Ethics via Learning. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh
2018	J	`jnl`	Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced. CoRR Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Matthew Peveler, Biplav Srivastava, Kartik Talamadupula
2018	J	`jnl`	Toward Formalizing Teleportation of Pedagogical Artificial Agents. CoRR John Angel, Naveen Sundar Govindarajulu, Selmer Bringsjord
2018	—	`conf`	Toward a Smart City Using Tentacular AI. AmI Atriya Sen, Selmer Bringsjord, Naveen Sundar Govindarajulu, Paul Mayol, Rikhiya Ghosh, Biplav Srivastava, Kartik Talamadupula
2018	J	`jnl`	Toward the Engineering of Virtuous Machines. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh
2017	J	`jnl`	An Argument for P=NP. Minds Mach. Selmer Bringsjord
2017	J	`jnl`	Counterfactual Conditionals in Quantified Modal Logic. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord
2017	—	`conf`	Do Machine-Learning Machines Learn? PT-AI Selmer Bringsjord, Naveen Sundar Govindarajulu, Shreya Banerjee, John Hummel
2017	A*	`conf`	On Automating the Doctrine of Double Effect. IJCAI Naveen Sundar Govindarajulu, Selmer Bringsjord
2017	J	`jnl`	On Automating the Doctrine of Double Effect. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord
2017	J	`jnl`	Proof Verification Can Be Hard! CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord
2017	J	`jnl`	Strength Factors: An Uncertainty System for a Quantified Modal Logic. CoRR Naveen Sundar Govindarajulu, Selmer Bringsjord
2017	J	`jnl`	Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas. Minds Mach. Selmer Bringsjord
2017	J	`jnl`	Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework. CoRR Matthew Peveler, Biplav Srivastava, Kartik Talamadupula, Naveen Sundar G., Selmer Bringsjord, Hui Su
2017	—	`conf`	Two Problems Afflicting the Search for a Standard Model of the Mind. AAAI Fall Symposia Paul Bello, Selmer Bringsjord
2016	—	`conf`	Can Phronetic Robots Be Engineered by Computational Logicians? No … and Yes. Robophilosophy/TRANSOR Selmer Bringsjord
2016	—	`conf`	Crowdsourcing Theorem Proving via Natural Games. Bridging@IJCAI Naveen Sundar Govindarajulu, Selmer Bringsjord
2016	—	`conf`	Deontic Counteridenticals and the Design of Ethically Correct Intelligent Agents: First Steps. EDIA@ECAI Selmer Bringsjord, Rikhiya Ghosh, James Pane-Joyce
2016	J	`jnl`	On Creative Self-Driving Cars: Hire the Computational Logicians, Fast. Appl. Artif. Intell. Selmer Bringsjord, Atriya Sen
2016	J	`jnl`	The 2015 AAAI Fall Symposium Series Reports. AI Mag. Nisar Ahmed, Paul Bello, Selmer Bringsjord, Micah Clark, Bradley Hayes, Christopher Miller, Frans A. Oliehoek, Frank Stein, Matthijs T. J. Spaan
2015	—	`conf`	Can Accomplices to Fraud Will Themselves to Innocence, and Thereby Dodge Counter-Fraud Machines? AAAI Fall Symposia Selmer Bringsjord, Alexander Bringsjord
2015	B	`conf`	Constraints on freely chosen action for moral robots: Consciousness and control. RO-MAN Paul Bello, John Licato, Selmer Bringsjord
2015	—	`conf`	Creating and reasoning over scene descriptions in a physically realistic simulation. SpringSim (ADS) Nick Marton, John Licato, Selmer Bringsjord
2015	—	`ch.`	Ethical Regulation of Robots Must Be Embedded in Their Operating Systems. A Construction Manual for Robots' Ethical Systems Naveen Sundar Govindarajulu, Selmer Bringsjord
2015	—	`conf`	Modeling interoperability between a reflex and reasoning system in a physical simulation environment. SpringSim (Posters) Konner Atkin, John Licato, Selmer Bringsjord
2015	—	`conf`	Modeling the Creation and Development of Cause-Effect Pairs for Explanation Generation in a Cognitive Architecture. AIC John Licato, Nick Marton, Boning Dong, Ron Sun, Selmer Bringsjord
2015	J	`jnl`	Proof verification and proof discovery for relativity. Synth. Naveen Sundar Govindarajulu, Selmer Bringsjord, Joshua Taylor
2015	B	`conf`	Real robots that pass human tests of self-consciousness. RO-MAN Selmer Bringsjord, John Licato, Naveen Sundar Govindarajulu, Rikhiya Ghosh, Atriya Sen
2015	J	`jnl`	The symbol grounding problem ... remains unsolved. J. Exp. Theor. Artif. Intell. Selmer Bringsjord
2014	J	`jnl`	Nuclear deterrence and the logic of deliberative mindreading. Cogn. Syst. Res. Selmer Bringsjord, Naveen Sundar Govindarajulu, Simon Ellis, Evan McCarty, John Licato
2014	B	`conf`	Structural representation and reasoning in a hybrid cognitive architecture. IJCNN John Licato, Ron Sun, Selmer Bringsjord
2014	—	`conf`	Toward a Formalization of QA Problem Classes. AGI Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord
2014	—	`conf`	Using Meta-Cognition for Regulating Explanatory Quality Through a Cognitive Architecture. AIC John Licato, Ron Sun, Selmer Bringsjord
2014	B	`conf`	Using a Hybrid Cognitive Architecture to Model Children's Errors in an Analogy Task. CogSci John Licato, Ron Sun, Selmer Bringsjord
2013	A*	`conf`	Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox. IJCAI John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson
2013	—	`conf`	Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI. PT-AI Selmer Bringsjord, Naveen Sundar Govindarajulu
2013	—	`conf`	Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation. UCNC Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord
2012	J	`jnl`	Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation. Int. J. Unconv. Comput. Selmer Bringsjord, Naveen Sundar G., Eugene Eberbach, Yingrui Yang
2012	J	`jnl`	Red-Pill Robots Only, Please. IEEE Trans. Affect. Comput. Selmer Bringsjord, Micah Henry Clark
2012	J	`jnl`	The Myth of 'the Myth of Hypercomputation'. Parallel Process. Lett. Naveen Sundar Govindarajulu, Selmer Bringsjord
2011	J	`jnl`	A bottom-up complement to the logic-based top-down approach to the story arrangement test. J. Exp. Theor. Artif. Intell. Nate Chapin, Boleslaw K. Szymanski, Selmer Bringsjord, Bettina Schimanski
2011	B	`conf`	Creativity and conducting: handle in the CAIRA project. Creativity & Cognition Selmer Bringsjord, Colin Kuebler, Joshua Taylor, Griffin Milsap, Sean Austin, Jonas Braasch, Pauline Oliveros, Doug Van Nort, Adam Rosenkrantz, Kasia Hayden
2011	—	`conf`	In Defense of the Neo-Piagetian Approach to Modeling and Engineering Human-Level Cognitive Systems. AAAI Fall Symposium: Advances in Cognitive Systems John Licato, Selmer Bringsjord
2011	J	`jnl`	Psychometric artificial intelligence. J. Exp. Theor. Artif. Intell. Selmer Bringsjord
2011	—	`conf`	Toward a Modern Geography of Minds, Machines, and Math. PT-AI Selmer Bringsjord, Naveen Sundar Govindarajulu
2010	J	`jnl`	God, souls, and Turing: in defense of the theological objection to the Turing test. Kybernetes Selmer Bringsjord
2010	J	`jnl`	In Defense of the Unprovability of the Church-Turing Thesis. Int. J. Unconv. Comput. Selmer Bringsjord, Naveen Sundar G.
2009	J	`jnl`	Propositional Attitudes and Causation. Int. J. Softw. Informatics Konstantine Arkoudas, Selmer Bringsjord
2009	C	`conf`	Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic. KEOD Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani
2009	J	`jnl`	Vivid: A framework for heterogeneous problem solving. Artif. Intell. Konstantine Arkoudas, Selmer Bringsjord
2008	—	`ch.`	Cognitive Systems and Cognitive Architectures. Wiley Encyclopedia of Computer Science and Engineering Ron Sun, Selmer Bringsjord
2008	—	`conf`	Discovery Using Heterogeneous Combined Logics. AAAI Fall Symposium: Automated Scientific Discovery Joshua Taylor, Selmer Bringsjord
2008	J	`jnl`	Ethical robots: the future can heed us. AI Soc. Selmer Bringsjord
2008	—	`conf`	Organizing Committee. AAAI Fall Symposium: Automated Scientific Discovery Selmer Bringsjord, Andrew Shilliday
2008	J	`jnl`	The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself. J. Appl. Log. Selmer Bringsjord
2008	B	`conf`	Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. PRICAI Konstantine Arkoudas, Selmer Bringsjord
2008	—	`conf`	Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments. AGI Selmer Bringsjord, Andrew Shilliday, Joshua Taylor, Dan Werner, Micah Clark, Ed Charpentier, Alexander Bringsjord
2007	J	`jnl`	Computers, Justification, and Mathematical Knowledge. Minds Mach. Konstantine Arkoudas, Selmer Bringsjord
2007	—	`conf`	Provability-Based Semantic Interoperability Via Translation Graphs. ER Workshops Joshua Taylor, Andrew Shilliday, Selmer Bringsjord
2007	—	`conf`	Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning. OIC Andrew Shilliday, Joshua Taylor, Micah Clark, Selmer Bringsjord
2007	—	`conf`	Reporting on Some Logic-Based Machine Reading Research. AAAI Spring Symposium: Machine Reading Selmer Bringsjord, Konstantine Arkoudas, Micah Clark, Andrew Shilliday, Joshua Taylor, Bettina Schimanski, Yingrui Yang
2007	Misc	`conf`	The Multi-Mind Effect. IC-AI Selmer Bringsjord, Konstantine Arkoudas, Deepa Mukherjee, Andrew Edward Shilliday, Joshua Taylor, Micah Henry Clark, Elizabeth Bringsjord
2006	J	`jnl`	A new Gödelian argument for hypercomputing minds based on the busy beaver problem. Appl. Math. Comput. Selmer Bringsjord, Owen Kellett, Andrew Shilliday, Joshua Taylor, Bram van Heuveln, Yingrui Yang, Jeffrey Baumes, Kyle Ross
2006	—	`conf`	For Problems Sufficiently Hard ... AI Needs CogSci. AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems Selmer Bringsjord, Micah Clark
2006	J	`jnl`	Human reasoning is heterogeneous - as Jon Barwise informed us. J. Exp. Theor. Artif. Intell. Selmer Bringsjord, Yingrui Yang
2006	J	`jnl`	The mental possible worlds mechanism and the lobster problem: an analysis of a complex GRE logical reasoning task. J. Exp. Theor. Artif. Intell. Yingrui Yang, Selmer Bringsjord, Paul Bello
2006	J	`jnl`	Toward a General Logicist Methodology for Engineering Ethically Correct Robots. IEEE Intell. Syst. Selmer Bringsjord, Konstantine Arkoudas, Paul Bello
2004	—	`conf`	"Pulling it All Together" via Psychometric AI. AAAI Technical Report (1) Selmer Bringsjord, Bettina Schimanski
2004	—	`conf`	Metareasoning for Multi-agent Epistemic Logics. CLIMA Konstantine Arkoudas, Selmer Bringsjord
2004	J	`jnl`	On Building Robot Persons: Response to Zlatev. Minds Mach. Selmer Bringsjord
2004	J	`jnl`	P=NP CoRR Selmer Bringsjord, Joshua Taylor
2004	J	`jnl`	The modal argument for hypercomputing minds. Theor. Comput. Sci. Selmer Bringsjord, Konstantine Arkoudas
2003	J	`jnl`	HILBERT & PATRIC: Hybrid Intelligent Agent Technology for Teaching Context-Independent Reasoning. J. Educ. Technol. Soc. Paul Bello, Selmer Bringsjord
2003	A*	`conf`	What is Artificial Intelligence? Psychometric AI as an Answer. IJCAI Selmer Bringsjord, Bettina Schimanski
2002	J	`jnl`	Toward a Formal Philosophy of Hypercomputation. Minds Mach. Selmer Bringsjord, Michael Zenzen
2001	J	`jnl`	Creativity, the Turing Test, and the (Better) Lovelace Test. Minds Mach. Selmer Bringsjord, Paul Bello, David A. Ferrucci
2001	J	`jnl`	In Computation, Parallel is Nothing, Physical Everything. Minds Mach. Selmer Bringsjord
2001	J	`jnl`	Is It Possible to Build Dramatically Compelling Interactive Digital Entertainment (in the form, e.g., of computer games)? Game Stud. Selmer Bringsjord
2000	J	`jnl`	A refutation of Penrose's Gödelian case against artificial intelligence. J. Exp. Theor. Artif. Intell. Selmer Bringsjord, Hong Xiao
2000	J	`jnl`	Animals, Zombanimals, and the Total Turing Test. J. Log. Lang. Inf. Selmer Bringsjord, Clarke Caporale, Ron Noel
2000	J	`jnl`	Clarifying the Logic of Anti-Computationalism: Reply to Hauser. Minds Mach. Selmer Bringsjord
2000	J	`jnl`	John Searle, The Mystery of Consciousness. Minds Mach. Selmer Bringsjord
1998	J	`jnl`	Computationalism is dead; now what? J. Exp. Theor. Artif. Intell. Selmer Bringsjord
1998	J	`jnl`	Logic and Artificial Intelligence: Divorced, Still Married, Separated ...? Minds Mach. Selmer Bringsjord, David A. Ferrucci
1998	J	`jnl`	Reply to Glymour and Thayse. Minds Mach. Selmer Bringsjord, David A. Ferrucci
1997	—	`conf`	Chess Isn't Tough Enough: Better Games for Mind-Machine Competition. Deep Blue Versus Kasparov: The Significance for Artificial Intelligence Selmer Bringsjord, Adam Lally
1997	J	`jnl`	Cognition Is Not Computation: The Argument from Irreversibility. Synth. Selmer Bringsjord, Michael Zenzen
1997	J	`jnl`	Strong AI Is Simply Silly. AI Mag. Selmer Bringsjord
1996	J	`jnl`	The case against AI from imagistic expertise. J. Exp. Theor. Artif. Intell. Selmer Bringsjord, Elizabeth Bringsjord
1995	J	`jnl`	Book reviews. Minds Mach. 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, Deepak Kumar, Selmer Bringsjord, Bill Patterson
1994	J	`jnl`	Navigating through the Frame Problem: Review of Reasoning Agents in a Dynamic World. AI Mag. Selmer Bringsjord, Christopher A. Welty
1994	J	`jnl`	computation, among other things, is beneath us. Minds Mach. Selmer Bringsjord
1991	A*	`conf`	In Defense of Hyper-Logicist AI. IJCAI Selmer Bringsjord, Michael Zenzen
1991	J	`jnl`	Is the connectionist-logicist clash one of AI's wonderful red herrings? J. Exp. Theor. Artif. Intell. Selmer Bringsjord