Selmer Bringsjord | Academic Influence

Selmer Bringsjord's AcademicInfluence.com Rankings

Selmer Bringsjord

Computer Science

#1191

World Rank

#1231

Historical Rank

#618

USA Rank

Automated Reasoning

#23

World Rank

#23

Historical Rank

#8

USA Rank

Artificial Intelligence

#103

World Rank

#106

Historical Rank

#47

USA Rank

Database

#7835

World Rank

#8149

Historical Rank

#994

USA Rank

computer-science Degrees

Download Badge

Computer Science

Selmer Bringsjord's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Selmer Bringsjord Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Selmer Bringsjord is the chair of the Department of Cognitive Science at Rensselaer Polytechnic Institute and a professor of Computer Science and Cognitive Science. He also holds an appointment in the Lally School of Management & Technology and teaches artificial Intelligence , formal logic, human and machine reasoning, and philosophy of AI.

(See a Problem?)

Selmer Bringsjord's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Artificial Intelligence and Literary Creativity: Inside the Mind of Brutus, A Storytelling Machine (1999) (243)
Toward a General Logicist Methodology for Engineering Ethically Correct Robots (2006) (194)
What Robots Can and Can’t Be (1992) (126)
What is Artificial Intelligence? Psychometric AI as an Answer (2003) (115)
Creativity, the Turing Test, and the (Better) Lovelace Test (2001) (112)
Toward Ethical Robots via Mechanized Deontic Logic∗ (2005) (77)
On Automating the Doctrine of Double Effect (2017) (64)
Kluge: The Haphazard Construction of the Human Mind (2012) (64)
Propositional Attitudes and Causation (2009) (56)
Real robots that pass human tests of self-consciousness (2015) (49)
Psychometric artificial intelligence (2011) (48)
Superminds: People Harness Hypercomputation, and More (2003) (48)
Slate: An Argument-Centered Intelligent Assistant to Human Reasoners (2008) (46)
The Cambridge Handbook of Computational Psychology: Declarative/Logic-Based Cognitive Modeling (2008) (45)
Computers, Justification, and Mathematical Knowledge (2007) (37)
Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task (2008) (37)
Ethical robots: the future can heed us (2008) (36)
On How to Build a Moral Machine (2013) (34)
The Zombie Attack on the Computational Conception of Mind (1999) (32)
Logic and Artificial Intelligence: Divorced, Still Married, Separated ...? (1998) (32)
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (2008) (31)
Metareasoning for Multi-agent Epistemic Logics (2004) (31)
The modal argument for hypercomputing minds (2004) (30)
Chess Is Too Easy. (1998) (30)
Given the Web, What is Intelligence, Really?: Given the Web, What is Intelligence, Really? (2012) (29)
Akratic robots and the computational logic thereof (2014) (29)
Is It Possible to Build Dramatically Compelling Interactive Digital Entertainment (in the form, e.g., of computer games)? (2001) (28)
Could, how could we tell if, and why should—androids have inner lives? (1995) (27)
Toward a Modern Geography of Minds, Machines, and Math (2011) (26)
Psychometric Artificial General Intelligence: The Piaget-MacGuyver Room (2012) (26)
Piagetian Roboethics via Category Theory Moving beyond Mere Formal Operations to Engineer Robots Whose Decisions Are Guaranteed to be Ethically Correct (2011) (25)
Rage against the machine (2012) (25)
Toward the Engineering of Virtuous Machines (2018) (23)
Vivid: A framework for heterogeneous problem solving (2009) (22)
Proof verification and proof discovery for relativity (2015) (22)
Are there set theoretic possible worlds (1985) (22)
In defense of logical minds (1998) (22)
Analogy, explanation, and proof (2014) (21)
A refutation of Penrose's Gödelian case against artificial intelligence (2000) (21)
Mental MetaLogic: a New Paradigm in Psychology of Reasoning (2001) (20)
Is the connectionist-logicist clash one of AI's wonderful red herrings? (1991) (20)
Are we evolved computers?: A critical review of Steven Pinker's How the mind works (2001) (19)
A new Gödelian argument for hypercomputing minds based on the busy beaver problem (2006) (19)
Belief in The Singularity is Fideistic (2012) (19)
Real Robots and the Missing Thought-Experiment in the Chinese Room Dialectic (2003) (19)
Nuclear deterrence and the logic of deliberative mindreading (2014) (18)
Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox (2013) (18)
Ethical Regulation of Robots Must Be Embedded in Their Operating Systems (2015) (18)
The symbol grounding problem … remains unsolved (2015) (18)
The Narrational Case against Church's Thesis (1998) (17)
The Shrinking Difference Between Artifacts and Natural Objects * (2008) (17)
Cognition Is Not Computation: The Argument from Irreversibility (1997) (17)
The 'Mental Eye' Defence of an Infinitized Version of Yablo's Paradox (2003) (15)
Strength Factors: An Uncertainty System for a Quantified Modal Logic (2017) (15)
On Creative Self-Driving Cars: Hire the Computational Logicians, Fast (2016) (14)
computation, among other things, is beneath us (1994) (13)
On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis (2006) (13)
Animals, Zombanimals, and the Total Turing Test (2000) (13)
What is a Computer? An Electronic Discussion (1997) (12)
Structural representation and reasoning in a hybrid cognitive architecture (2014) (12)
Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments (2008) (12)
Reporting on Some Logic-Based Machine Reading Research (2007) (12)
An argument for the uncomputability of infinitary mathematical expertise (1997) (11)
Do Machine-Learning Machines Learn? (2017) (11)
Cinewrite: an algorithm-sketch for writing novels cinematically, and two mysteries therein (1992) (11)
A Vindication of Program Verification (2015) (11)
Meeting Floridi's Challenge to Artificial Intelligence from the Knowledge‐Game Test for Self‐Consciousness (2010) (11)
Advanced Synthetic Characters, Evil, and E∗ (2005) (10)
Is Gödelian Model-based Deductive Reasoning Computational? (1998) (10)
Exploring the Role of Analogico-Deductive Reasoning in the Balance-Beam Task (2012) (10)
In Defense of the Unprovability of the Church-Turing Thesis (2010) (10)
HILBERT & PATRIC: Hybrid Intelligent Agent Technology for Teaching Context-Independent Reasoning (2003) (10)
Grim on logic and omniscience (1989) (9)
Newell's program, like Hilbert's, is dead; let's move on (2003) (9)
In Computation, Parallel is Nothing, Physical Everything (2001) (9)
How Models of Creativity and Analogy Need to Answer the Tailorability Concern (2015) (9)
Reply to Glymour and Thayse (1998) (9)
Animals, Zombanimals, and the Total Turing Test: The Essence of Articial Intelligence (2000) (9)
Creating and reasoning over scene descriptions in a physically realistic simulation (2015) (9)
Toward a Formal Philosophy of Hypercomputation (2002) (9)
Beyond the Doctrine of Double Effect: A Formal Model of True Self-sacrifice (2019) (8)
Consciousness by the lights of logic and commonsense (1997) (8)
Red-Pill Robots Only, Please (2012) (8)
Review of John Searle's The Rediscovery of the Mind," (1995) (8)
In Defense of Hyper-Logicist AI (1991) (8)
Computer Science as Immaterial Formal Logic (2020) (7)
Provability-Based Semantic Interoperability Via Translation Graphs (2007) (7)
Computationalism is dead; now what? (1998) (7)
The problems that generate the rationality debate are too easy, given what our economy now demands (2003) (7)
Cognitive Illusions and the Welcome Psychologism of Logicist Artificial Intelligence (2003) (7)
A creative artificially-intuitive and reasoning agent in the context of live music improvisation (2012) (6)
By Disanalogy, Cyberwarfare Is Utterly New (2015) (6)
The Mental Possible Worlds Mechanism : A New Method for Analyzing Logical Reasoning Problems on the GRE (2001) (6)
Constraints on freely chosen action for moral robots: Consciousness and control (2015) (6)
In Defense Of Impenetrable Zombies (1995) (6)
Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation (2013) (6)
Editorial: Consciousness in Humanoid Robots (2019) (6)
Rectifying the Mischaracterization of Logic by Mental Model Theorists (2020) (6)
A 21st-Century Ethical Hierarchy for Robots and Persons: $$\mathscr {E \! H}$$ (2017) (6)
Why did evolution engineer consciousness (2002) (6)
"Pulling it All Together" via Psychometric AI (2004) (5)
Toward Automated Provability-Based Semantic Interoperability Between Ontologies for the Intelligence Community (2007) (5)
Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI (2013) (5)
Learning Ex Nihilo (2019) (5)
The Contemporary Craft of Creating Characters Meets Today's Cognitive Architectures: A Case Study in Expressivity. (2016) (5)
Using a Hybrid Cognitive Architecture to Model Children's Errors in an Analogy Task (2014) (5)
Representations Using Formal Logics (2006) (5)
On Logicist Agent-Based Economics ? (2015) (5)
The case against AI from imagistic expertise (1996) (5)
Toward a logical framework for cognitive effects-based operations: some empirical and computational results (2005) (5)
On Quantified Modal Theorem Proving for Modeling Ethics (2019) (5)
Sage: Five Powerful Ideas for Studying and Transforming the Intelligence Analyst's Task Environment (2003) (5)
Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation (2012) (5)
The mental possible worlds mechanism and the lobster problem: an analysis of a complex GRE logical reasoning task (2006) (4)
The Myth of 'the Myth of Hypercomputation' (2012) (4)
Ethical Operating Systems (2018) (4)
On Deep Computational Formalization of Natural Language (2013) (4)
The Philosophical Foundations of Artificial Intelligence (2007) (4)
A bottom-up complement to the logic-based top-down approach to the story arrangement test (2011) (4)
Using Meta-Cognition for Regulating Explanatory Quality Through a Cognitive Architecture (2014) (4)
Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning (2010) (4)
CAIRA - A Creative Artificially-Intuitive and Reasoning Agent as Conductor of Telematic Music Improvisations (2011) (4)
Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots (2018) (4)
One Formalization of Virtue Ethics via Learning (2018) (3)
John Searle, The Mystery of Consciousness (2000) (3)
Toward Non-Algorithmic AI (1993) (3)
Handle: Engineering Artificial Musical Creativity at the “Trickery” Level (2015) (3)
Modeling the Creation and Development of Cause-Effect Pairs for Explanation Generation in a Cognitive Architecture (2015) (3)
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 (2020) (3)
Animal communication of private states does not illuminate the human case (1993) (3)
What Robots Can Be (1992) (3)
Machine Ethics: Piagetian Roboethics via Category Theory (2011) (3)
Theorem: General Intelligence Entails Creativity, Assuming \ldots (2015) (3)
Swinburne's argument from consciousness (1986) (3)
The Hypercomputational Case for Substance Dualism (2010) (3)
A three-pronged simonesque approach to modeling and simulation in deviant “bi-pay” auctions, and beyond (2014) (3)
Empirical Justifications for the Universalness of the Mental Logic and Mental Models Paradigm (2005) (3)
If I Were Judge (2009) (3)
Mental metalogic and its empirical justifications: The case of reasoning with quantifiers and predicates (2003) (3)
A Response to Núñez et al.'s (2019) "What Happened to Cognitive Science?" (2019) (3)
Persuasion Technology Through Mechanical Sophistry (2008) (2)
The Theory of Cognitive Consciousness, and Λ (Lambda) (2020) (2)
Deontic Counteridenticals and the Design of Ethically Correct Intelligent Agents: First Steps (2016) (2)
PAGI World: A Physically Realistic, General-Purpose Simulation Environment for Developmental AI Systems (2016) (2)
Toward a Formalization of QA Problem Classes (2014) (2)
The Epistemology of Computer-Mediated Proofs (2018) (2)
Is Universal Computation a Myth (2017) (2)
Cognitive Systems and Cognitive Architectures (2007) (2)
New Architectures, Algorithms And Designs That Lead To Implemented Machine Reasoning Over Knowledge In Epistemic And Deontic Formats, In The Service Of Advanced Wargaming (2006) (2)
Harnessing Intelligent Agent Technology to "Superteach" Reasoning (2006) (2)
Strong AI Is Simply Silly (1997) (2)
Can AI accommodate imagistic expertise? (1994) (2)
Hybrid Worlds: Societal and Ethical Challenges (2018) (2)
ETHICAL REASONING FOR AUTONOMOUS AGENTS UNDER UNCERTAINTY (2020) (2)
Text is Jottings Plus Procedure (JoPP) (1996) (1)
Eccles-iastical Dualism: Review of Evolution of the Brain: Creation of the Self by John Eccles (1999) (1)
A Partially Synthesized Position on the Automation of Machine Ethics (2023) (1)
Modeling interoperability between a reflex and reasoning system in a physical simulation environment (2015) (1)
Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks (2019) (1)
Free Will and A New Kind of Science (2013) (1)
Automated argument adjudication to solve ethical problems in multi-agent environments (2021) (1)
The 2015 AAAI Fall Symposium Series Reports (2016) (1)
On Building Robot Persons: Response to Zlatev (2004) (1)
Toward a General Logicist Methodology for Engineering Ethically Correct Roborts (2020) (1)
Agent-Based Real-Time Pedagogy for Proof Construction (2002) (1)
Christianity and Pacifism: A Reply to Kellenberger (1989) (1)
An Argument for P=NP (2017) (1)
Vivid: A framework for combining diagrammatic and symbolic reasoning (2005) (1)
Towards a Computable & Harnessable Model of Consciousness (2019) (1)
Great Computational Intelligence in the Formal Sciences via Analogical Reasoning (2017) (1)
Logic and Artificial Intelligence (1998) (1)
Synthetic Worlds and Characters, and the Future of Creative Writing (2018) (1)
Creativity and conducting: handle in the CAIRA project (2011) (1)
God, souls, and Turing: in defense of the theological objection to the Turing test (2010) (1)
Brutus and the Narrational Case Against Church's Thesis (1999) (1)
Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced (2018) (1)
Commentary: absent logic-based precision, Hancock’s desired avoidance is just wishful thinking (2021) (1)
Crossbows, von Clauswitz, and the Eternality of Software Shrouds: Reply to Christianson (2015) (1)
Two Problems Afflicting the Search for a Standard Model of the Mind (2017) (1)
Proof Verification Can Be Hard! (2017) (1)
The Singularity Business (2017) (1)
Clarifying the Logic of Anti-Computationalism: Reply to Hauser (2000) (1)
Toward a Smart City Using Tentacular AI (2018) (0)
On Datasets for Evaluating Architectures for Learning to Reason (2019) (0)
Toward Generating Natural-Language Explanations of Modal-Logic Proofs (2022) (0)
Slate : An Argument-Centered Intelligent Assistant to Professional Reasoners ∗ (2006) (0)
What is Supermentalism (2003) (0)
Computer Science as Immaterial Formal Logic (2019) (0)
Assessing artificial consciousness: A collective review article (2008) (0)
A three-pronged simonesque approach to modeling and simulation in deviant “bi-pay” auctions, and beyond (2014) (0)
Automated scientific discovery : papers from the AAAI Fall Symposium (2008) (0)
Lady Lovelace had it right: Computers originate nothing (1994) (0)
Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster) (2022) (0)
Acknowledgment of Guest Reviewers (2004) (0)
Making Maximally Ethical Decisions via Cognitive Likelihood & Formal Planning (2021) (0)
Toward Formalizing Teleportation of Pedagogical Artificial Agents (2018) (0)
CAIRA – a Creative Artificially-Intuitive and Reason- ing Agent in the context of ensemble music improvisa- tion (2013) (0)
Might the Rigorous Modeling of Economic Phenomena Require Hypercomputation ? (2010) (0)
Organizing committee (2013) (0)
Mental metalogic and its initial empirical justifications: The case of reasoning with quantifiers and monadic predicates (2019) (0)
Toward Cognitive and Immersive Systems: Experiments in a Cognitive Microworld (2017) (0)
On Theorem Proving for Quantified Modal Logics: With Applications in Modeling Ethical Principles (2019) (0)
Crowdsourcing Theorem Proving via Natural Games (2016) (0)
The Multi-Mind Effect (2007) (0)
General Intelligence and Hypercomputation (2009) (0)
The Argument from Irreversibility (2003) (0)
Sophisticated knowledge representation and reasoning requires philosophy (2015) (0)
An Intelligent Music System to Perform Different “Shapes of Jazz—To Come” (2017) (0)
Learning $\textit{Ex Nihilo}$. (2019) (0)
Robert N. McCauley, ed. , The Churchlands and Their Critics . Reviewed by (1999) (0)
Chess Isn't Tough Enough: Better Games for Mind-Machine Competition (1997) (0)
A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate (2019) (0)
Micro-PSYPRE: Toward Computing the Future (2007) (0)
For Problems Sufficiently Hard ... AI Needs CogSci (2006) (0)
Solving Busy Beaver Problem using Farmer/Worker Scheme in the context of Worldwide Computer (2002) (0)
Paul Thagard, The Brain and The Meaning of Life. Princeton, N.J.: Princeton University Press, 2012 (original hardcover publication 2010). Pp. 296. US$ 19.95 (Paperback). ISBN 9780691154404. (2014) (0)
An Argument for P=NP (2017) (0)
Can Phronetic Robots Be Engineered by Computational Logicians? No … and Yes (2016) (0)
Micro-PSYPRE (Psi m sub x): Toward Computing the Future (2007) (0)
A general framework for combining diagrammatic and symbolic problem solving (2006) (0)
Supermentalism and the Fall of Church’s Thesis (2003) (0)
Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas (2017) (0)
PHILOSOPHY, COMPUTING AND INFORMATION SCIENCE (2014) (0)
AI Can Stop Mass Shootings, and More (2021) (0)
Supermentalism and the Practice of AI (2003) (0)
The Argument from Infinitary Reasoning (2003) (0)
Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems (2020) (0)
THE ARGUMENT FOR GOD’S EXISTENCE FROM AI (2021) (0)
A refutation of Penrose's new Godelian case against the computational conception of mind (2000) (0)
Toward Proof-Theoretic Semantics for the Deontic Cognitive Event Calculus (2019) (0)
Honestly Speaking , How Close are We to HAL 9000 ? (2010) (0)
On How to Build a Moral Machine (2012) (0)
By Disanalogy, Cyberwarfare Is Utterly New (2015) (0)
Information in the philosophy of AI and the symbol grounding problem (2016) (0)
Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework (2017) (0)
Can Accomplices to Fraud Will Themselves to Innocence, and Thereby Dodge Counter-Fraud Machines? (2015) (0)
Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals (2016) (0)
Crossbows, von Clauswitz, and the Eternality of Software Shrouds: Reply to Christianson (2015) (0)
Serious Computational Science of Intelligence (2010) (0)
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI (2020) (0)
Deep Detectives (2022) (0)
Solomon: A Next-Generation QA System (2007) (0)
In Defense of the Neo-Piagetian Approach to Modeling and Engineering Human-Level Cognitive Systems (2011) (0)
PERI.2 Goes to PreSchool and Beyond, in Search of AGI (2022) (0)
The Zombie Attack on Computationalism (2003) (0)
Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic (2009) (0)
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language (2008) (0)
AN ARGUMENT AGAINST CHISHOLMIAN COMMON-SENSISM (1989) (0)
Introducing Λ for Measuring Cognitive Consciousness (2019) (0)
Thoughts on the Prospective MML-TIP: A Mental MetaLogic-Based Theorem Prover (2001) (0)
Navigating through the Frame Problem: Review of Reasoning Agents in a Dynamic World (1994) (0)
Arguments PRO, Destroyed (1992) (0)
Are Autonomous-and-Creative Machines Intrinsically Untrustworthy? (2018) (0)
Human reasoning is heterogeneous—as Jon Barwise informed us (2006) (0)
Counterfactual Conditionals in Quantified Modal Logic (2017) (0)
The scheme of development of mathematics according to Lakatos and its application to the Riemann ’ s scientific activity Wieslaw Wójcik (2004) (0)
” Recipe for Gourmet Lasagna Descartes : “ You ’ re no gourmet chef ! (2012) (0)
A framework for testimony-infused automated adjudicative dynamic multi-agent reasoning in ethically charged scenarios (2022) (0)
Assessing Artificial Consciousness A Collective (2008) (0)
Discovery Using Heterogeneous Combined Logics (2008) (0)
Extending Formal Models of the Doctrine of Double Effect with Emotions (2018) (0)
Proof verification and proof discovery for relativity (2014) (0)
Cognitive architectures, rationality, and next-generation AI: a prolegomenon (2004) (0)
TOWARD FORMALIZING CULTURE: FIRST STEPS 1 (2014) (0)
A Framework Combining Diagrammatic and Symbolic Problem Solving (2007) (0)
Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI (2022) (0)
What are We? Where’d We Come From? (2003) (0)
Proceedings of the Workshop “ Formalizing Mechanisms for Artificial General Intelligence and Cognition ( Formal MAGiC ) ” PICS (2015) (0)
Tracing Superman again: a reply to Clark (1988) (0)
A Refutation of Penrose’s Gödelian Case (2003) (0)
Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas (2017) (0)
Navigating through the Frame Problem (1994) (0)

This paper list is powered by the following services:

Other Resources About Selmer Bringsjord

en.wikipedia.org

What Schools Are Affiliated With Selmer Bringsjord?

Selmer Bringsjord is affiliated with the following schools: