Selmer Bringsjord

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

Toward Generating Natural-Language Explanations of Modal-Logic Proofs.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence - 15th International Conference, 2022

PERI.2 Goes to PreSchool and Beyond, in Search of AGI.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence - 15th International Conference, 2022

2021

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.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

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

[BibT_eX]

[DOI]

Paladyn J. Behav. Robotics, 2021

AI Can Stop Mass Shootings, and More.

[BibT_eX]

[DOI]

CoRR, 2021

2020

The Theory of Cognitive Consciousness, and Λ (Lambda).

[BibT_eX]

[DOI]

Naveen Sundar G.

J. Artif. Intell. Conscious., 2020

Rectifying the Mischaracterization of Logic by Mental Model Theorists.

[BibT_eX]

[DOI]

Cogn. Sci., 2020

Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems.

[BibT_eX]

[DOI]

Proceedings of the Culturally Sustainable Social Robotics, 2020

Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI.

[BibT_eX]

[DOI]

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

Learning Ex Nihilo.

[BibT_eX]

[DOI]

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

2019

A Response to Núñez et al.'s (2019) "What Happened to Cognitive Science?".

[BibT_eX]

[DOI]

Top. Cogn. Sci., 2019

Editorial: Consciousness in Humanoid Robots.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2019

On Quantified Modal Theorem Proving for Modeling Ethics.

[BibT_eX]

[DOI]

Matthew Peveler

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, 2019

Learning Ex Nihilo.

[BibT_eX]

[DOI]

CoRR, 2019

A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate.

[BibT_eX]

[DOI]

Christina Elmore

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks.

[BibT_eX]

[DOI]

Christina Elmore

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

Toward the Engineering of Virtuous Machines.

[BibT_eX]

[DOI]

Vasanth Sarathy

Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019

On Datasets for Evaluating Architectures for Learning to Reason.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

2018

Toward the Engineering of Virtuous Machines.

[BibT_eX]

[DOI]

CoRR, 2018

Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced.

[BibT_eX]

[DOI]

CoRR, 2018

One Formalization of Virtue Ethics via Learning.

[BibT_eX]

[DOI]

CoRR, 2018

Toward Formalizing Teleportation of Pedagogical Artificial Agents.

[BibT_eX]

[DOI]

John Angel

CoRR, 2018

Extending Formal Models of the Doctrine of Double Effect with Emotions.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Toward a Smart City Using Tentacular AI.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence - 14th European Conference, 2018

2017

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

[BibT_eX]

[DOI]

Minds Mach., 2017

An Argument for P=NP.

[BibT_eX]

[DOI]

Minds Mach., 2017

Counterfactual Conditionals in Quantified Modal Logic.

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Proof Verification Can Be Hard!

[BibT_eX]

[DOI]

CoRR, 2017

Do Machine-Learning Machines Learn?

[BibT_eX]

[DOI]

Shreya Banerjee

John Hummel

Proceedings of the Philosophy and Theory of Artificial Intelligence 2017, 2017

On Automating the Doctrine of Double Effect.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Two Problems Afflicting the Search for a Standard Model of the Mind.

[BibT_eX]

[DOI]

Proceedings of the 2017 AAAI Fall Symposia, Arlington, Virginia, USA, November 9-11, 2017, 2017

2016

The 2015 AAAI Fall Symposium Series Reports.

[BibT_eX]

[DOI]

AI Mag., 2016

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

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2016

Can Phronetic Robots Be Engineered by Computational Logicians? No … and Yes.

[BibT_eX]

[DOI]

Proceedings of the What Social Robots Can and Should Do, 2016

Crowdsourcing Theorem Proving via Natural Games.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

James Pane-Joyce

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.

[BibT_eX]

[DOI]

Proceedings of the A Construction Manual for Robots' Ethical Systems, 2015

Proof verification and proof discovery for relativity.

[BibT_eX]

[DOI]

Synth., 2015

The symbol grounding problem ... remains unsolved.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2015

Creating and reasoning over scene descriptions in a physically realistic simulation.

[BibT_eX]

[DOI]

Nick Marton

Proceedings of the Symposium on Agent-Directed Simulation, 2015

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

[BibT_eX]

[DOI]

Konner Atkin

Proceedings of the Poster Session and Student Colloquium Symposium, 2015

Real robots that pass human tests of self-consciousness.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Alexander Bringsjord

Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015

2014

Nuclear deterrence and the logic of deliberative mindreading.

[BibT_eX]

[DOI]

Simon Ellis

Evan McCarty

Cogn. Syst. Res., 2014

Structural representation and reasoning in a hybrid cognitive architecture.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Artificial Intelligence and Cognition (AIC 2014), 2014

Toward a Formalization of QA Problem Classes.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence - 7th International Conference, 2014

2013

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

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2013

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

[BibT_eX]

[DOI]

Proceedings of the Fundamental Issues of Artificial Intelligence, 2013

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

[BibT_eX]

[DOI]

Michael Pomeranz

Logan Gittelson

Proceedings of the IJCAI 2013, 2013

2012

Red-Pill Robots Only, Please.

[BibT_eX]

[DOI]

Micah Henry Clark

IEEE Trans. Affect. Comput., 2012

The Myth of 'the Myth of Hypercomputation'.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2012

Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2012

2011

Toward a Modern Geography of Minds, Machines, and Math.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nate Chapin

Boleslaw K. Szymanski

Bettina Schimanski

J. Exp. Theor. Artif. Intell., 2011

Psychometric artificial intelligence.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2011

Creativity and conducting: handle in the CAIRA project.

[BibT_eX]

[DOI]

Proceedings of the 8th Conference on Creativity & Cognition, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cognitive Systems, 2011

2010

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

[BibT_eX]

[DOI]

Kybernetes, 2010

In Defense of the Unprovability of the Church-Turing Thesis.

[BibT_eX]

[DOI]

Naveen Sundar G.

Int. J. Unconv. Comput., 2010

2009

Propositional Attitudes and Causation.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2009

Vivid: A framework for heterogeneous problem solving.

[BibT_eX]

[DOI]

Artif. Intell., 2009

Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic.

[BibT_eX]

Sangeet Khemlani

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

2008

Cognitive Systems and Cognitive Architectures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Appl. Log., 2008

Ethical robots: the future can heed us.

[BibT_eX]

[DOI]

AI Soc., 2008

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

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence 2008, 2008

Discovery Using Heterogeneous Combined Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Scientific Discovery, 2008

Organizing Committee.

[BibT_eX]

[DOI]

Andrew Shilliday

Proceedings of the Automated Scientific Discovery, 2008

2007

Computers, Justification, and Mathematical Knowledge.

[BibT_eX]

[DOI]

Minds Mach., 2007

Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Deepa Mukherjee

Andrew Edward Shilliday

Micah Henry Clark

Elizabeth Bringsjord

Proceedings of the 2007 International Conference on Artificial Intelligence, 2007

Provability-Based Semantic Interoperability Via Translation Graphs.

[BibT_eX]

[DOI]

Andrew Shilliday

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Reporting on Some Logic-Based Machine Reading Research.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yingrui Yang

J. Exp. Theor. Artif. Intell., 2006

Human reasoning is heterogeneous - as Jon Barwise informed us.

[BibT_eX]

[DOI]

Yingrui Yang

J. Exp. Theor. Artif. Intell., 2006

Toward a General Logicist Methodology for Engineering Ethically Correct Robots.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2006

A new Gödelian argument for hypercomputing minds based on the busy beaver problem.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2006

For Problems Sufficiently Hard ... AI Needs CogSci.

[BibT_eX]

[DOI]

Micah Clark

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

On Building Robot Persons: Response to Zlatev.

[BibT_eX]

[DOI]

Minds Mach., 2004

P=NP

[BibT_eX]

[DOI]

CoRR, 2004

Metareasoning for Multi-agent Epistemic Logics.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

"Pulling it All Together" via Psychometric AI.

[BibT_eX]

[DOI]

Bettina Schimanski

Proceedings of the Achieving Human-Level Intelligence through Integrated Systems and Research, 2004

2003

HILBERT & PATRIC: Hybrid Intelligent Agent Technology for Teaching Context-Independent Reasoning.

[BibT_eX]

[DOI]

J. Educ. Technol. Soc., 2003

What is Artificial Intelligence? Psychometric AI as an Answer.

[BibT_eX]

[DOI]

Bettina Schimanski

Proceedings of the IJCAI-03, 2003

2002

Toward a Formal Philosophy of Hypercomputation.

[BibT_eX]

[DOI]

Michael Zenzen

Minds Mach., 2002

2001

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

[BibT_eX]

[DOI]

David A. Ferrucci

Minds Mach., 2001

In Computation, Parallel is Nothing, Physical Everything.

[BibT_eX]

[DOI]

Minds Mach., 2001

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

[BibT_eX]

[DOI]

Game Stud., 2001

2000

John Searle, The Mystery of Consciousness.

[BibT_eX]

[DOI]

Minds Mach., 2000

Clarifying the Logic of Anti-Computationalism: Reply to Hauser.

[BibT_eX]

[DOI]

Minds Mach., 2000

Animals, Zombanimals, and the Total Turing Test.

[BibT_eX]

[DOI]

Clarke Caporale

Ron Noel

J. Log. Lang. Inf., 2000

A refutation of Penrose's Gödelian case against artificial intelligence.

[BibT_eX]

[DOI]

Hong Xiao

J. Exp. Theor. Artif. Intell., 2000

1998

Reply to Glymour and Thayse.

[BibT_eX]

[DOI]

David A. Ferrucci

Minds Mach., 1998

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

[BibT_eX]

[DOI]

David A. Ferrucci

Minds Mach., 1998

Computationalism is dead; now what?

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1998

1997

Cognition Is Not Computation: The Argument from Irreversibility.

[BibT_eX]

[DOI]

Michael Zenzen

Synth., 1997

Strong AI Is Simply Silly.

[BibT_eX]

[DOI]

AI Mag., 1997

Chess Isn't Tough Enough: Better Games for Mind-Machine Competition.

[BibT_eX]

Adam Lally

Proceedings of the Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, 1997

1996

The case against AI from imagistic expertise.

[BibT_eX]

[DOI]

Elizabeth Bringsjord

J. Exp. Theor. Artif. Intell., 1996

1995

Book reviews.

[BibT_eX]

[DOI]

Minds Mach., 1995

1994

computation, among other things, is beneath us.

[BibT_eX]

[DOI]

Minds Mach., 1994

Navigating through the Frame Problem: Review of Reasoning Agents in a Dynamic World.

[BibT_eX]

[DOI]

Christopher A. Welty

AI Mag., 1994

1991

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

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1991

In Defense of Hyper-Logicist AI.

[BibT_eX]

[DOI]