Selmer Bringsjord

According to our database1, Selmer Bringsjord authored at least 103 papers between 1991 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Editorial: Consciousness in Humanoid Robots.
Front. Robotics and AI, 2019

Learning Ex Nihilo.
CoRR, 2019

A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate.
Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks.
Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

Toward the Engineering of Virtuous Machines.
Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019

On Datasets for Evaluating Architectures for Learning to Reason.
Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019

Towards a Computable & Harnessable Model of Consciousness.
Proceedings of the Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), 2019

Introducing Λ for Measuring Cognitive Consciousness.
Proceedings of the Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), 2019

2018
Toward the Engineering of Virtuous Machines.
CoRR, 2018

Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced.
CoRR, 2018

One Formalization of Virtue Ethics via Learning.
CoRR, 2018

Toward Formalizing Teleportation of Pedagogical Artificial Agents.
CoRR, 2018

Extending Formal Models of the Doctrine of Double Effect with Emotions.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Toward a Smart City Using Tentacular AI.
Proceedings of the Ambient Intelligence - 14th European Conference, 2018

2017
Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas.
Minds and Machines, 2017

An Argument for P=NP.
Minds and Machines, 2017

Counterfactual Conditionals in Quantified Modal Logic.
CoRR, 2017

Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework.
CoRR, 2017

Strength Factors: An Uncertainty System for a Quantified Modal Logic.
CoRR, 2017

On Automating the Doctrine of Double Effect.
CoRR, 2017

Proof Verification Can Be Hard!
CoRR, 2017

Do Machine-Learning Machines Learn?
Proceedings of the Philosophy and Theory of Artificial Intelligence 2017, 2017

On Automating the Doctrine of Double Effect.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Two Problems Afflicting the Search for a Standard Model of the Mind.
Proceedings of the 2017 AAAI Fall Symposia, Arlington, Virginia, USA, November 9-11, 2017, 2017

2016
The 2015 AAAI Fall Symposium Series Reports.
AI Magazine, 2016

On Creative Self-Driving Cars: Hire the Computational Logicians, Fast.
Applied Artificial Intelligence, 2016

Can Phronetic Robots Be Engineered by Computational Logicians? No … and Yes.
Proceedings of the What Social Robots Can and Should Do, 2016

Crowdsourcing Theorem Proving via Natural Games.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Deontic Counteridenticals and the Design of Ethically Correct Intelligent Agents: First Steps.
Proceedings of the 1st Workshop on Ethics in the Design of Intelligent Agents, 2016

2015
Ethical Regulation of Robots Must Be Embedded in Their Operating Systems.
Proceedings of the A Construction Manual for Robots' Ethical Systems, 2015

Proof verification and proof discovery for relativity.
Synthese, 2015

The symbol grounding problem ... remains unsolved.
J. Exp. Theor. Artif. Intell., 2015

Creating and reasoning over scene descriptions in a physically realistic simulation.
Proceedings of the Symposium on Agent-Directed Simulation, 2015

Modeling interoperability between a reflex and reasoning system in a physical simulation environment.
Proceedings of the Poster Session and Student Colloquium Symposium, 2015

Real robots that pass human tests of self-consciousness.
Proceedings of the 24th IEEE International Symposium on Robot and Human Interactive Communication, 2015

Constraints on freely chosen action for moral robots: Consciousness and control.
Proceedings of the 24th IEEE International Symposium on Robot and Human Interactive Communication, 2015

Modeling the Creation and Development of Cause-Effect Pairs for Explanation Generation in a Cognitive Architecture.
Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, 2015

Can Accomplices to Fraud Will Themselves to Innocence, and Thereby Dodge Counter-Fraud Machines?
Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015

2014
Nuclear deterrence and the logic of deliberative mindreading.
Cognitive Systems Research, 2014

Structural representation and reasoning in a hybrid cognitive architecture.
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014

Using a Hybrid Cognitive Architecture to Model Children's Errors in an Analogy Task.
Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

Using Meta-Cognition for Regulating Explanatory Quality Through a Cognitive Architecture.
Proceedings of the Second International Workshop on Artificial Intelligence and Cognition (AIC 2014), 2014

Toward a Formalization of QA Problem Classes.
Proceedings of the Artificial General Intelligence - 7th International Conference, 2014

2013
Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation.
Proceedings of the Unconventional Computation and Natural Computation, 2013

Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI.
Proceedings of the Fundamental Issues of Artificial Intelligence, 2013

Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox.
Proceedings of the IJCAI 2013, 2013

2012
Red-Pill Robots Only, Please.
IEEE Trans. Affective Computing, 2012

The Myth of 'the Myth of Hypercomputation'.
Parallel Processing Letters, 2012

Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation.
IJUC, 2012

2011
Toward a Modern Geography of Minds, Machines, and Math.
Proceedings of the Philosophy and Theory of Artificial Intelligence, 2011

A bottom-up complement to the logic-based top-down approach to the story arrangement test.
J. Exp. Theor. Artif. Intell., 2011

Psychometric artificial intelligence.
J. Exp. Theor. Artif. Intell., 2011

Creativity and conducting: handle in the CAIRA project.
Proceedings of the 8th Conference on Creativity & Cognition, 2011

In Defense of the Neo-Piagetian Approach to Modeling and Engineering Human-Level Cognitive Systems.
Proceedings of the Advances in Cognitive Systems, 2011

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

In Defense of the Unprovability of the Church-Turing Thesis.
IJUC, 2010

2009
Propositional Attitudes and Causation.
Int. J. Software and Informatics, 2009

Vivid: A framework for heterogeneous problem solving.
Artif. Intell., 2009

Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic.
Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

2008
Cognitive Systems and Cognitive Architectures.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself.
J. Applied Logic, 2008

Ethical robots: the future can heed us.
AI Soc., 2008

Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments.
Proceedings of the Artificial General Intelligence 2008, 2008

Discovery Using Heterogeneous Combined Logics.
Proceedings of the Automated Scientific Discovery, 2008

Organizing Committee.
Proceedings of the Automated Scientific Discovery, 2008

2007
Computers, Justification, and Mathematical Knowledge.
Minds and Machines, 2007

Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning.
Proceedings of the Ontologies and Semantic Technologies for Intelligence [papers from the Second International Ontology for the Intelligence Community (OIC) Conference, 2007

The Multi-Mind Effect.
Proceedings of the 2007 International Conference on Artificial Intelligence, 2007

Provability-Based Semantic Interoperability Via Translation Graphs.
Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Reporting on Some Logic-Based Machine Reading Research.
Proceedings of the Machine Reading, 2007

2006
The mental possible worlds mechanism and the lobster problem: an analysis of a complex GRE logical reasoning task.
J. Exp. Theor. Artif. Intell., 2006

Human reasoning is heterogeneous - as Jon Barwise informed us.
J. Exp. Theor. Artif. Intell., 2006

Toward a General Logicist Methodology for Engineering Ethically Correct Robots.
IEEE Intelligent Systems, 2006

A new Gödelian argument for hypercomputing minds based on the busy beaver problem.
Applied Mathematics and Computation, 2006

For Problems Sufficiently Hard ... AI Needs CogSci.
Proceedings of the Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems, 2006

2004
The modal argument for hypercomputing minds.
Theor. Comput. Sci., 2004

On Building Robot Persons: Response to Zlatev.
Minds and Machines, 2004

P=NP
CoRR, 2004

Metareasoning for Multi-agent Epistemic Logics.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003
HILBERT & PATRIC: Hybrid Intelligent Agent Technology for Teaching Context-Independent Reasoning.
Educational Technology & Society, 2003

What is Artificial Intelligence? Psychometric AI as an Answer.
Proceedings of the IJCAI-03, 2003

2002
Toward a Formal Philosophy of Hypercomputation.
Minds and Machines, 2002

2001
Creativity, the Turing Test, and the (Better) Lovelace Test.
Minds and Machines, 2001

In Computation, Parallel is Nothing, Physical Everything.
Minds and Machines, 2001

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

2000
John Searle, The Mystery of Consciousness.
Minds and Machines, 2000

Clarifying the Logic of Anti-Computationalism: Reply to Hauser.
Minds and Machines, 2000

Animals, Zombanimals, and the Total Turing Test.
Journal of Logic, Language and Information, 2000

A refutation of Penrose's Gödelian case against artificial intelligence.
J. Exp. Theor. Artif. Intell., 2000

1998
Reply to Glymour and Thayse.
Minds and Machines, 1998

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

Computationalism is dead; now what?
J. Exp. Theor. Artif. Intell., 1998

1997
Cognition Is Not Computation: The Argument from Irreversibility.
Synthese, 1997

Strong AI Is Simply Silly.
AI Magazine, 1997

Chess Isn't Tough Enough: Better Games for Mind-Machine Competition.
Proceedings of the Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, 1997

1996
The case against AI from imagistic expertise.
J. Exp. Theor. Artif. Intell., 1996

1995
Book reviews.
Minds and Machines, 1995

1994
computation, among other things, is beneath us.
Minds and Machines, 1994

Navigating through the Frame Problem: Review of Reasoning Agents in a Dynamic World.
AI Magazine, 1994

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

In Defense of Hyper-Logicist AI.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991


  Loading...