S. Bringsjord

Selmer Bringsjord, Micah Clark, S. Bringsjord, 2006, AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems.

The Contemporary Craft of Creating Characters Meets Today's Cognitive Architectures: A Case Study in Expressivity.

Selmer Bringsjord, John Licato, Alexander Bringsjord, 2016 .

Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI

S. Bringsjord, G. NaveenSundar, Michael Giancola, 2022, FLAIRS Conference.

Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate?

Naveen Sundar Govindarajulu, S. Bringsjord, Michael Giancola, 2022 .

” Recipe for Gourmet Lasagna Descartes : “ You ’ re no gourmet chef !

S. Bringsjord, 2012 .

Navigating through the Frame Problem

Chris Welty, S. Bringsjord, 1994 .

Slate: An Argument-Centered Intelligent Assistant to Human Reasoners

Selmer Bringsjord, Micah Clark, Konstantine Arkoudas, 2008 .

On Theorem Proving for Quantified Modal Logics: With Applications in Modeling Ethical Principles

Naveen Sundar Govindarajulu, S. Bringsjord, 2019 .

Free Will and A New Kind of Science

S. Bringsjord, 2013 .

Eccles-iastical Dualism: Review of Evolution of the Brain: Creation of the Self by John Eccles

S. Bringsjord, J. Daraio, 1999 .

Information in the philosophy of AI and the symbol grounding problem

Selmer Bringsjord, S. Bringsjord, 2016 .

Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks

G. NaveenSundar, Selmer Bringsjord, Christina Elmore, 2019, CogSci.

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, S. Bringsjord, 2020, Theory and Practice of Logic Programming.

A three-pronged simonesque approach to modeling and simulation in deviant “bi-pay” auctions, and beyond

Naveen Sundar Govindarajulu, S. Bringsjord, Joe Johnson, 2014, Mind & Society.

Vivid: A framework for heterogeneous problem solving

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2009, Artif. Intell..

Logic and Artificial Intelligence: Divorced, Still Married, Separated ...?

Selmer Bringsjord, David A. Ferrucci, D. Ferrucci, 1998, Minds and Machines.

An Intelligent Music System to Perform Different “Shapes of Jazz—To Come”

Selmer Bringsjord, Jonas Braasch, Doug Van Nort, 2017 .

Psychometric Artificial General Intelligence: The Piaget-MacGuyver Room

Selmer Bringsjord, John Licato, S. Bringsjord, 2012 .

Piagetian Roboethics via Category Theory Moving beyond Mere Formal Operations to Engineer Robots Whose Decisions Are Guaranteed to be Ethically Correct

Selmer Bringsjord, Micah Clark, Konstantine Arkoudas, 2011 .

Toward Non-Algorithmic AI

Selmer Bringsjord, S. Bringsjord, 1993 .

Great Computational Intelligence in the Formal Sciences via Analogical Reasoning

Selmer Bringsjord, John E. Hummel, John Licato, 2017 .

The symbol grounding problem … remains unsolved

Selmer Bringsjord, S. Bringsjord, 2015, J. Exp. Theor. Artif. Intell..

Are we evolved computers?: A critical review of Steven Pinker's How the mind works

Selmer Bringsjord, S. Bringsjord, 2001 .

The Shrinking Difference Between Artifacts and Natural Objects *

Amie L. Thomasson, Gilbert Harman, G. Chaitin, 2008 .

A three-pronged simonesque approach to modeling and simulation in deviant “bi-pay” auctions, and beyond

Selmer Bringsjord, Naveen Sundar Govindarajulu, Joe Johnson, 2014 .

Artificial Intelligence and Literary Creativity: Inside the Mind of Brutus, A Storytelling Machine

Selmer Bringsjord, David A. Ferrucci, D. Ferrucci, 1999 .

Cognitive architectures, rationality, and next-generation AI: a prolegomenon

Selmer Bringsjord, Paul Bello, Yingrui Yang, 2004, SPIE Defense + Commercial Sensing.

PAGI World: A Physically Realistic, General-Purpose Simulation Environment for Developmental AI Systems

Selmer Bringsjord, John Licato, S. Bringsjord, 2016 .

Using a Hybrid Cognitive Architecture to Model Children's Errors in an Analogy Task

Selmer Bringsjord, Ron Sun, John Licato, 2014, CogSci.

Using Meta-Cognition for Regulating Explanatory Quality Through a Cognitive Architecture

Selmer Bringsjord, Ron Sun, John Licato, 2014, AIC.

Cognitive Systems and Cognitive Architectures

Selmer Bringsjord, Ron Sun, R. Sun, 2007, Wiley Encyclopedia of Computer Science and Engineering.

On How to Build a Moral Machine

S. Bringsjord, P. Bello, 2012, Topoi.

Why did evolution engineer consciousness

Selmer Bringsjord, Ron Noel, S. Bringsjord, 2002 .

Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2008, PRICAI.

The mental possible worlds mechanism and the lobster problem: an analysis of a complex GRE logical reasoning task

YINGRUI YANG, SELMER BRINGSJORD, PAUL BELLO, 2006, J. Exp. Theor. Artif. Intell..

What is Artificial Intelligence? Psychometric AI as an Answer

Selmer Bringsjord, Bettina Schimanski, S. Bringsjord, 2003, IJCAI.

Reply to Glymour and Thayse

Selmer Bringsjord, David A. Ferrucci, D. Ferrucci, 1998, Minds and Machines.

Psychometric artificial intelligence

Selmer Bringsjord, S. Bringsjord, 2011, J. Exp. Theor. Artif. Intell..

"Pulling it All Together" via Psychometric AI

Selmer Bringsjord, Bettina Schimanski, S. Bringsjord, 2004, AAAI Technical Report.

What Robots Can and Can’t Be

Selmer Bringsjord, S. Bringsjord, 1992 .

Superminds: People Harness Hypercomputation, and More

Selmer Bringsjord, Michael Zenzen, S. Bringsjord, 2003 .

The Multi-Mind Effect

Selmer Bringsjord, Konstantine Arkoudas, Joshua Taylor, 2007, IC-AI.

Vivid: A framework for combining diagrammatic and symbolic reasoning

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2005 .

Solomon: A Next-Generation QA System

S. Bringsjord, M. Clark, A. Shilliday, 2007 .

Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation

Selmer Bringsjord, G. NaveenSundar, Eugene Eberbach, 2012, Int. J. Unconv. Comput..

Creativity, the Turing Test, and the (Better) Lovelace Test

Selmer Bringsjord, Paul Bello, David A. Ferrucci, 2001, Minds and Machines.

The Zombie Attack on the Computational Conception of Mind

Selmer Bringsjord, S. Bringsjord, 1999 .

Strength Factors: An Uncertainty System for a Quantified Modal Logic pdf

Selmer Bringsjord, G. NaveenSundar, Naveen Sundar Govindarajulu, 2017, ArXiv.

Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI

G. NaveenSundar, Selmer Bringsjord, Naveen Sundar Govindarajulu, 2013, PT-AI.

New Architectures, Algorithms And Designs That Lead To Implemented Machine Reasoning Over Knowledge In Epistemic And Deontic Formats, In The Service Of Advanced Wargaming

Selmer Bringsjord, Konstantine Arkoudas, Yingrui Yang, 2006 .

Propositional Attitudes and Causation

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2009, Int. J. Softw. Informatics.

Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI

G. NaveenSundar, Selmer Bringsjord, Michael Giancola, 2020, GCAI.

Sophisticated knowledge representation and reasoning requires philosophy

Selmer Bringsjord, Micah Clark, Joshua Taylor, 2015 .

Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language

Selmer Bringsjord, Jinrong Li, S. Bringsjord, 2008 .

Toward a General Logicist Methodology for Engineering Ethically Correct Robots

Selmer Bringsjord, Paul Bello, Konstantine Arkoudas, 2006, IEEE Intelligent Systems.

Toward Ethical Robots via Mechanized Deontic Logic ∗

Konstantine Arkoudas, S. Bringsjord, Paul Bello, 2005 .

Nuclear deterrence and the logic of deliberative mindreading

Selmer Bringsjord, G. NaveenSundar, John Licato, 2014, Cognitive Systems Research.

Organizing committee

Selmer Bringsjord, Andrew Shilliday, S. Bringsjord, 2013, 2013 19th Asia-Pacific Conference on Communications (APCC).

In defense of logical minds

Selmer Bringsjord, Elizabeth Bringsjord, Ron Noel, 1998 .

Given the Web, What is Intelligence, Really?: Given the Web, What is Intelligence, Really?

Selmer Bringsjord, Naveen Sundar Govindarajulu, S. Bringsjord, 2012 .

General Intelligence and Hypercomputation

Selmer Bringsjord, S. Bringsjord, 2009 .

If I Were Judge

Selmer Bringsjord, S. Bringsjord, 2009 .

Counterfactual Conditionals in Quantified Modal Logic pdf

Selmer Bringsjord, G. NaveenSundar, S. Bringsjord, 2017, ArXiv.

THE ARGUMENT FOR GOD’S EXISTENCE FROM AI

S. Bringsjord, 2021 .

Animals, Zombanimals, and the Total Turing Test: The Essence of Articial Intelligence

Selmer Bringsjord, Clarke Caporale, V. Noel, 2000 .

On Automating the Doctrine of Double Effect pdf

Selmer Bringsjord, G. NaveenSundar, Naveen Sundar Govindarajulu, 2017, IJCAI.

Computers, Justification, and Mathematical Knowledge

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2007, Minds and Machines.

The case against AI from imagistic expertise

Selmer Bringsjord, Elizabeth Bringsjord, S. Bringsjord, 1996, J. Exp. Theor. Artif. Intell..

Can AI accommodate imagistic expertise?

Selmer Bringsjord, Elizabeth Bringsjord, S. Bringsjord, 1994, Proceedings of International Conference on Expert Systems for Development.

Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox

Selmer Bringsjord, G. NaveenSundar, John Licato, 2013, IJCAI.

Modeling the Creation and Development of Cause-Effect Pairs for Explanation Generation in a Cognitive Architecture

Selmer Bringsjord, Ron Sun, John Licato, 2015, AIC.

Is the connectionist-logicist clash one of AI's wonderful red herrings?

Selmer Bringsjord, S. Bringsjord, 1991, J. Exp. Theor. Artif. Intell..

Synthetic Worlds and Characters, and the Future of Creative Writing

S. Bringsjord, Alexander Bringsjord, 2018 .

The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself

Selmer Bringsjord, S. Bringsjord, 2008, J. Appl. Log..

The Cambridge Handbook of Computational Psychology: Declarative/Logic-Based Cognitive Modeling

Selmer Bringsjord, S. Bringsjord, 2008 .

Serious Computational Science of Intelligence

Selmer Bringsjord, G NaveenSundar, S. Bringsjord, 2010 .

Advanced Synthetic Characters, Evil, and E ∗

Selmer Bringsjord, Sangeet Khemlani, Konstantine Arkoudas, 2005 .

On Creative Self-Driving Cars: Hire the Computational Logicians, Fast

Selmer Bringsjord, Atriya Sen, S. Bringsjord, 2016, Appl. Artif. Intell..

Modeling interoperability between a reflex and reasoning system in a physical simulation environment

Selmer Bringsjord, John Licato, Konner Atkin, 2015, SpringSim.

Constraints on freely chosen action for moral robots: Consciousness and control

Selmer Bringsjord, Paul Bello, John Licato, 2015, 2015 24th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN).

Creating and reasoning over scene descriptions in a physically realistic simulation

Selmer Bringsjord, John Licato, Nick Marton, 2015, SpringSim.

Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals

Selmer Bringsjord, Paul Bello, John Licato, 2016 .

Kluge: The Haphazard Construction of the Human Mind

Selmer Bringsjord, Alexander Bringsjord, S. Bringsjord, 2012 .

Toward the Engineering of Virtuous Machines

G. NaveenSundar, Selmer Bringsjord, Naveen Sundar Govindarajulu, 2018, AIES.

Proof verification and proof discovery for relativity

Selmer Bringsjord, G. NaveenSundar, Joshua Taylor, 2015, Synthese.

Ethical robots: the future can heed us

Selmer Bringsjord, S. Bringsjord, 2008, AI & SOCIETY.

A bottom-up complement to the logic-based top-down approach to the story arrangement test

Selmer Bringsjord, Boleslaw K. Szymanski, Nate Chapin, 2011, J. Exp. Theor. Artif. Intell..

Is It Possible to Build Dramatically Compelling Interactive Digital Entertainment (in the form, e.g., of computer games)?

Selmer Bringsjord, S. Bringsjord, 2001, Game Stud..

Brutus and the Narrational Case Against Church's Thesis

Selmer Bringsjord, Dave Ferrucci, D. Ferrucci, 1999 .

Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning

Selmer Bringsjord, Micah Clark, Joshua Taylor, 2010, OIC.

Provability-Based Semantic Interoperability Via Translation Graphs

Selmer Bringsjord, Joshua Taylor, Andrew Shilliday, 2007, ER Workshops.

Toward a Formalization of QA Problem Classes

Selmer Bringsjord, G. NaveenSundar, John Licato, 2014, AGI.

Meeting Floridi's Challenge to Artificial Intelligence from the Knowledge‐Game Test for Self‐Consciousness

Selmer Bringsjord, S. Bringsjord, 2010 .

Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots

Matthias Scheutz, Selmer Bringsjord, Bertram F. Malle, 2018, ISAIM.

Real robots that pass human tests of self-consciousness

Selmer Bringsjord, Atriya Sen, G. NaveenSundar, 2015, 2015 24th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN).

The Myth of 'the Myth of Hypercomputation'

Selmer Bringsjord, G. NaveenSundar, S. Bringsjord, 2012, Parallel Process. Lett..

Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation

Selmer Bringsjord, G. NaveenSundar, John Licato, 2013, UCNC.

Metareasoning for Multi-agent Epistemic Logics

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2004, CLIMA.

Rectifying the Mischaracterization of Logic by Mental Model Theorists

G. NaveenSundar, Selmer Bringsjord, S. Bringsjord, 2020, Cogn. Sci..

Learning Ex Nihilo

Selmer Bringsjord, Naveen Sundar Govindarajulu, S. Bringsjord, 2019, GCAI.

Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced pdf

Selmer Bringsjord, Atriya Sen, Kartik Talamadupula, 2018, ArXiv.

Counterfactual Conditionals in Quantified Modal Logic

Naveen Sundar Govindarajulu, S. Bringsjord, 2017, ArXiv.

Toward Formalizing Teleportation of Pedagogical Artificial Agents pdf

Selmer Bringsjord, G. NaveenSundar, Naveen Sundar Govindarajulu, 2018, ArXiv.

Red-Pill Robots Only, Please

Selmer Bringsjord, Micah Henry Clark, S. Bringsjord, 2012, IEEE Transactions on Affective Computing.

God, souls, and Turing: in defense of the theological objection to the Turing test

Selmer Bringsjord, S. Bringsjord, 2010, Kybernetes.

The modal argument for hypercomputing minds

Selmer Bringsjord, Konstantine Arkoudas, Konstantine Arkoudas, 2004, Theor. Comput. Sci..

Real Robots and the Missing Thought-Experiment in the Chinese Room Dialectic

Selmer Bringsjord, Ron Noel, S. Bringsjord, 2003 .

Analogy, explanation, and proof

Selmer Bringsjord, John E. Hummel, John Licato, 2014, Front. Hum. Neurosci..

Automated argument adjudication to solve ethical problems in multi-agent environments

Selmer Bringsjord, G. NaveenSundar, Michael Giancola, 2021, Paladyn J. Behav. Robotics.

In Defense of the Neo-Piagetian Approach to Modeling and Engineering Human-Level Cognitive Systems

Selmer Bringsjord, John Licato, S. Bringsjord, 2011, AAAI Fall Symposium: Advances in Cognitive Systems.

Meeting Floridi's Challenge to Artificial Intelligence from the Knowledge‐Game Test for Self‐Consciousness

S. Bringsjord, 2010 .

In Computation, Parallel is Nothing, Physical Everything

Selmer Bringsjord, S. Bringsjord, 2001, Minds and Machines.

Consciousness in Humanoid Robots

S. Bringsjord, Antonio Chella, Angelo Cangelosi, 2019, Frontiers Research Topics.

Rage against the machine

Selmer Bringsjord, S. Bringsjord, Joe Johnson, 2012 .