Naveen Sundar G.

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

Post-Hoc Methods for Debiasing Neural Networks.

[BibT_eX]

[DOI]

Yash Savani

Colin White

CoRR, 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

Intra-Processing Methods for Debiasing Neural Networks.

[BibT_eX]

[DOI]

Yash Savani

Colin White

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI.

[BibT_eX]

[DOI]

John Licato

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

Learning Ex Nihilo.

[BibT_eX]

[DOI]

John Licato

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

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]

Atriya Sen

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]

Atriya Sen

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

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

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

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]