Selmer Bringsjord

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 50

Top Venues

Publications

James T. Oswald, Thomas M. Ferguson, Selmer Bringsjord
A Universal Intelligence Measure for Arithmetical Uncomputable Environments. AGI (2024)
Vivek Nallur, Louise Dennis, Selmer Bringsjord, Naveen Sundar Govindarajulu
A Partially Synthesized Position on the Automation of Machine Ethics. Digit. Soc. 2 (2) (2023)
Selmer Bringsjord, James T. Oswald, Michael Giancola, Brandon Rozek, Naveen Sundar Govindarajulu
The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds. AGI (2023)
Selmer Bringsjord, John Slowik, Naveen Sundar Govindarajulu, Michael Giancola, James T. Oswald, Rikhiya Ghosh
Affect-based Planning for a Meta-Cognitive Robot Sculptor: First Steps. ACIIW (2023)
Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu, John Slowik, James T. Oswald, Paul Bello, Micah Clark
Argument-based inductive logics, with coverage of compromised perception. Frontiers Artif. Intell. 6 (2023)
Selmer Bringsjord
Commentary: absent logic-based precision, Hancock's desired avoidance is just wishful thinking. Hum. Comput. Interact. 37 (3) (2022)
Shreya Banerjee, Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu
Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI. FLAIRS (2022)
Selmer Bringsjord, Naveen Sundar Govindarajulu, John Slowik, James Oswald, Michael Giancola, John Angel, Shreya Banerjee, Aidan Flaherty
PERI.2 Goes to PreSchool and Beyond, in Search of AGI. AGI (2022)
Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate? (poster). CAKR@IJCAI (2022)
Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
Toward Generating Natural-Language Explanations of Modal-Logic Proofs. AGI (2022)
Selmer Bringsjord, Naveen Sundar Govindarajulu
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. 21 (2) (2021)
Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola
Automated argument adjudication to solve ethical problems in multi-agent environments. Paladyn J. Behav. Robotics 12 (1) (2021)
Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola
AI Can Stop Mass Shootings, and More. CoRR (2021)
Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI. GCAI (2020)
Selmer Bringsjord, Naveen Sundar G.
The Theory of Cognitive Consciousness, and Λ (Lambda). J. Artif. Intell. Conscious. 7 (2) (2020)
Selmer Bringsjord, Naveen Sundar Govindarajulu
Rectifying the Mischaracterization of Logic by Mental Model Theorists. Cogn. Sci. 44 (12) (2020)
Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu
Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems. Robophilosophy (2020)
Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato, Michael Giancola
Learning Ex Nihilo. GCAI (2020)
Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler
On Quantified Modal Theorem Proving for Modeling Ethics. ARCADE@CADE (2019)
Naveen Sundar Govindarajulu, Jean-Claude Paquin, Shreya Banerjee, Atriya Sen, Paul Mayol, Selmer Bringsjord
On Datasets for Evaluating Architectures for Learning to Reason. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering (2019)
Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Christina Elmore
A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate. CogSci (2019)
Antonio Chella, Angelo Cangelosi, Giorgio Metta, Selmer Bringsjord
Editorial: Consciousness in Humanoid Robots. Frontiers Robotics AI 6 (2019)
Selmer Bringsjord, Naveen Sundar Govindarajulu, Christina Elmore
Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks. CogSci (2019)
Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh, Vasanth Sarathy
Toward the Engineering of Virtuous Machines. AIES (2019)
Selmer Bringsjord, Naveen Sundar Govindarajulu
Learning Ex Nihilo. CoRR (2019)
Naveen Sundar Govindarajulu, Selmer Bringsjord
Towards a Computable & Harnessable Model of Consciousness. AAAI Spring Symposium: Towards Conscious AI Systems (2019)
Marjorie McShane, Selmer Bringsjord, James A. Hendler, Sergei Nirenburg, Ron Sun
A Response to Núñez et al.'s (2019) "What Happened to Cognitive Science?". Top. Cogn. Sci. 11 (4) (2019)
Selmer Bringsjord, Naveen Sundar Govindarajulu
Introducing Λ for Measuring Cognitive Consciousness. AAAI Spring Symposium: Towards Conscious AI Systems (2019)
Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Matthew Peveler, Biplav Srivastava, Kartik Talamadupula
Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced. CoRR (2018)
Naveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord
Extending Formal Models of the Doctrine of Double Effect with Emotions. ISAIM (2018)
Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh
Toward the Engineering of Virtuous Machines. CoRR (2018)
Atriya Sen, Selmer Bringsjord, Naveen Sundar Govindarajulu, Paul Mayol, Rikhiya Ghosh, Biplav Srivastava, Kartik Talamadupula
Toward a Smart City Using Tentacular AI. AmI (2018)
Selmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz
Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots. ISAIM (2018)
Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh
One Formalization of Virtue Ethics via Learning. CoRR (2018)
John Angel, Naveen Sundar Govindarajulu, Selmer Bringsjord
Toward Formalizing Teleportation of Pedagogical Artificial Agents. CoRR (2018)
Selmer Bringsjord
An Argument for P=NP. Minds Mach. 27 (4) (2017)
Naveen Sundar Govindarajulu, Selmer Bringsjord
Counterfactual Conditionals in Quantified Modal Logic. CoRR (2017)
Naveen Sundar Govindarajulu, Selmer Bringsjord
On Automating the Doctrine of Double Effect. CoRR (2017)
Naveen Sundar Govindarajulu, Selmer Bringsjord
Strength Factors: An Uncertainty System for a Quantified Modal Logic. CoRR (2017)
Paul Bello, Selmer Bringsjord
Two Problems Afflicting the Search for a Standard Model of the Mind. AAAI Fall Symposia (2017)
Matthew Peveler, Biplav Srivastava, Kartik Talamadupula, Naveen Sundar G., Selmer Bringsjord, Hui Su
Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework. CoRR (2017)
Selmer Bringsjord
Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas. Minds Mach. 27 (4) (2017)
Selmer Bringsjord, Naveen Sundar Govindarajulu, Shreya Banerjee, John Hummel
Do Machine-Learning Machines Learn? PT-AI (2017)
Naveen Sundar Govindarajulu, Selmer Bringsjord
Proof Verification Can Be Hard! CoRR (2017)
Naveen Sundar Govindarajulu, Selmer Bringsjord
On Automating the Doctrine of Double Effect. IJCAI (2017)
Selmer Bringsjord, Rikhiya Ghosh, James Pane-Joyce
Deontic Counteridenticals and the Design of Ethically Correct Intelligent Agents: First Steps. EDIA@ECAI (2016)
Naveen Sundar Govindarajulu, Selmer Bringsjord
Crowdsourcing Theorem Proving via Natural Games. Bridging@IJCAI (2016)
Nisar Ahmed, Paul Bello, Selmer Bringsjord, Micah Clark, Bradley Hayes, Christopher Miller, Frans A. Oliehoek, Frank Stein, Matthijs T. J. Spaan
The 2015 AAAI Fall Symposium Series Reports. AI Mag. 37 (2) (2016)
Selmer Bringsjord
Can Phronetic Robots Be Engineered by Computational Logicians? No … and Yes. Robophilosophy/TRANSOR (2016)
Selmer Bringsjord, Atriya Sen
On Creative Self-Driving Cars: Hire the Computational Logicians, Fast. Appl. Artif. Intell. 30 (8) (2016)
Nick Marton, John Licato, Selmer Bringsjord
Creating and reasoning over scene descriptions in a physically realistic simulation. SpringSim (ADS) (2015)
John Licato, Nick Marton, Boning Dong, Ron Sun, Selmer Bringsjord
Modeling the Creation and Development of Cause-Effect Pairs for Explanation Generation in a Cognitive Architecture. AIC (2015)
Selmer Bringsjord
The symbol grounding problem ... remains unsolved. J. Exp. Theor. Artif. Intell. 27 (1) (2015)
Selmer Bringsjord, Alexander Bringsjord
Can Accomplices to Fraud Will Themselves to Innocence, and Thereby Dodge Counter-Fraud Machines? AAAI Fall Symposia (2015)
Konner Atkin, John Licato, Selmer Bringsjord
Modeling interoperability between a reflex and reasoning system in a physical simulation environment. SpringSim (Posters) (2015)
Naveen Sundar Govindarajulu, Selmer Bringsjord, Joshua Taylor
Proof verification and proof discovery for relativity. Synth. 192 (7) (2015)
Selmer Bringsjord, John Licato, Naveen Sundar Govindarajulu, Rikhiya Ghosh, Atriya Sen
Real robots that pass human tests of self-consciousness. RO-MAN (2015)
Paul Bello, John Licato, Selmer Bringsjord
Constraints on freely chosen action for moral robots: Consciousness and control. RO-MAN (2015)
Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord
Toward a Formalization of QA Problem Classes. AGI (2014)
Selmer Bringsjord, Naveen Sundar Govindarajulu, Simon Ellis, Evan McCarty, John Licato
Nuclear deterrence and the logic of deliberative mindreading. Cogn. Syst. Res. 28 (2014)
John Licato, Ron Sun, Selmer Bringsjord
Using Meta-Cognition for Regulating Explanatory Quality Through a Cognitive Architecture. AIC (2014)
John Licato, Ron Sun, Selmer Bringsjord
Using a Hybrid Cognitive Architecture to Model Children's Errors in an Analogy Task. CogSci (2014)
John Licato, Ron Sun, Selmer Bringsjord
Structural representation and reasoning in a hybrid cognitive architecture. IJCNN (2014)
John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson
Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox. IJCAI (2013)
Selmer Bringsjord, Naveen Sundar Govindarajulu
Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI. PT-AI (2013)
Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord
Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation. UCNC (2013)
Selmer Bringsjord, Micah Henry Clark
Red-Pill Robots Only, Please. IEEE Trans. Affect. Comput. 3 (4) (2012)
Naveen Sundar Govindarajulu, Selmer Bringsjord
The Myth of 'the Myth of Hypercomputation'. Parallel Process. Lett. 22 (3) (2012)
Selmer Bringsjord, Naveen Sundar G., Eugene Eberbach, Yingrui Yang
Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation. Int. J. Unconv. Comput. 8 (1) (2012)
Nate Chapin, Boleslaw K. Szymanski, Selmer Bringsjord, Bettina Schimanski
A bottom-up complement to the logic-based top-down approach to the story arrangement test. J. Exp. Theor. Artif. Intell. 23 (3) (2011)
Selmer Bringsjord
Psychometric artificial intelligence. J. Exp. Theor. Artif. Intell. 23 (3) (2011)
John Licato, Selmer Bringsjord
In Defense of the Neo-Piagetian Approach to Modeling and Engineering Human-Level Cognitive Systems. AAAI Fall Symposium: Advances in Cognitive Systems (2011)
Selmer Bringsjord, Colin Kuebler, Joshua Taylor, Griffin Milsap, Sean Austin, Jonas Braasch, Pauline Oliveros, Doug Van Nort, Adam Rosenkrantz, Kasia Hayden
Creativity and conducting: handle in the CAIRA project. Creativity & Cognition (2011)
Selmer Bringsjord, Naveen Sundar Govindarajulu
Toward a Modern Geography of Minds, Machines, and Math. PT-AI (2011)
Selmer Bringsjord
God, souls, and Turing: in defense of the theological objection to the Turing test. Kybernetes 39 (3) (2010)
Selmer Bringsjord, Naveen Sundar G.
In Defense of the Unprovability of the Church-Turing Thesis. Int. J. Unconv. Comput. 6 (5) (2010)
Konstantine Arkoudas, Selmer Bringsjord
Propositional Attitudes and Causation. Int. J. Softw. Informatics 3 (1) (2009)
Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani
Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic. KEOD (2009)
Konstantine Arkoudas, Selmer Bringsjord
Vivid: A framework for heterogeneous problem solving. Artif. Intell. 173 (15) (2009)
Selmer Bringsjord
Ethical robots: the future can heed us. AI Soc. 22 (4) (2008)
Selmer Bringsjord, Andrew Shilliday
Organizing Committee. AAAI Fall Symposium: Automated Scientific Discovery (2008)
Selmer Bringsjord
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself. J. Appl. Log. 6 (4) (2008)
Konstantine Arkoudas, Selmer Bringsjord
Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. PRICAI (2008)
Selmer Bringsjord, Andrew Shilliday, Joshua Taylor, Dan Werner, Micah Clark, Ed Charpentier, Alexander Bringsjord
Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments. AGI (2008)
Joshua Taylor, Selmer Bringsjord
Discovery Using Heterogeneous Combined Logics. AAAI Fall Symposium: Automated Scientific Discovery (2008)
Joshua Taylor, Andrew Shilliday, Selmer Bringsjord
Provability-Based Semantic Interoperability Via Translation Graphs. ER Workshops (2007)
Selmer Bringsjord, Konstantine Arkoudas, Deepa Mukherjee, Andrew Edward Shilliday, Joshua Taylor, Micah Henry Clark, Elizabeth Bringsjord
The Multi-Mind Effect. IC-AI (2007)
Andrew Shilliday, Joshua Taylor, Micah Clark, Selmer Bringsjord
Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning. OIC (2007)
Selmer Bringsjord, Konstantine Arkoudas, Micah Clark, Andrew Shilliday, Joshua Taylor, Bettina Schimanski, Yingrui Yang
Reporting on Some Logic-Based Machine Reading Research. AAAI Spring Symposium: Machine Reading (2007)
Konstantine Arkoudas, Selmer Bringsjord
Computers, Justification, and Mathematical Knowledge. Minds Mach. 17 (2) (2007)
Selmer Bringsjord, Konstantine Arkoudas, Paul Bello
Toward a General Logicist Methodology for Engineering Ethically Correct Robots. IEEE Intell. Syst. 21 (4) (2006)
Yingrui Yang, Selmer Bringsjord, Paul Bello
The mental possible worlds mechanism and the lobster problem: an analysis of a complex GRE logical reasoning task. J. Exp. Theor. Artif. Intell. 18 (2) (2006)
Selmer Bringsjord, Owen Kellett, Andrew Shilliday, Joshua Taylor, Bram van Heuveln, Yingrui Yang, Jeffrey Baumes, Kyle Ross
A new Gödelian argument for hypercomputing minds based on the busy beaver problem. Appl. Math. Comput. 176 (2) (2006)
Selmer Bringsjord, Yingrui Yang
Human reasoning is heterogeneous - as Jon Barwise informed us. J. Exp. Theor. Artif. Intell. 18 (2) (2006)
Selmer Bringsjord, Micah Clark
For Problems Sufficiently Hard ... AI Needs CogSci. AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems (2006)
Selmer Bringsjord, Konstantine Arkoudas
The modal argument for hypercomputing minds. Theor. Comput. Sci. 317 (1-3) (2004)
Selmer Bringsjord, Joshua Taylor
P=NP CoRR (2004)
Konstantine Arkoudas, Selmer Bringsjord
Metareasoning for Multi-agent Epistemic Logics. CLIMA (2004)
Selmer Bringsjord, Bettina Schimanski
"Pulling it All Together" via Psychometric AI. AAAI Technical Report (1) (2004)
Selmer Bringsjord
On Building Robot Persons: Response to Zlatev. Minds Mach. 14 (3) (2004)

Selmer Bringsjord.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Selmer Bringsjord