In Defense of the Neo-Piagetian Approach to Modeling and Engineering Human-Level Cognitive Systems. - John Licato; Selmer Bringsjord (AAAI Fall Symposium: Advances in Cognitive Systems, 2011)

Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox. - John Licato; Naveen Sundar Govindarajulu; Selmer Bringsjord; Michael Pomeranz; Logan Gittelson (IJCAI, 2013)

Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation. - Naveen Sundar Govindarajulu; John Licato; Selmer Bringsjord (UCNC, 2013)

Toward a Formalization of QA Problem Classes. - Naveen Sundar Govindarajulu; John Licato; Selmer Bringsjord (AGI, 2014)

Using Meta-Cognition for Regulating Explanatory Quality Through a Cognitive Architecture. - John Licato; Ron Sun; Selmer Bringsjord (AIC, 2014)

Using a Hybrid Cognitive Architecture to Model Children's Errors in an Analogy Task. - John Licato; Ron Sun; Selmer Bringsjord (CogSci, 2014)

Structural representation and reasoning in a hybrid cognitive architecture. - John Licato; Ron Sun; Selmer Bringsjord (IJCNN, 2014)

Nuclear deterrence and the logic of deliberative mindreading. - Selmer Bringsjord; Naveen Sundar Govindarajulu; Simon Ellis; Evan McCarty; John Licato (Cogn. Syst. Res., 2014)

Formalizing Deceptive Reasoning in Breaking Bad: Default Reasoning in a Doxastic Logic. - John Licato (AAAI Fall Symposia, 2015)

Modeling the Creation and Development of Cause-Effect Pairs for Explanation Generation in a Cognitive Architecture. - John Licato; Nick Marton; Boning Dong; Ron Sun; Selmer Bringsjord (AIC, 2015)

Constraints on freely chosen action for moral robots: Consciousness and control. - Paul Bello; John Licato; Selmer Bringsjord (RO-MAN, 2015)

Real robots that pass human tests of self-consciousness. - Selmer Bringsjord; John Licato; Naveen Sundar Govindarajulu; Rikhiya Ghosh; Atriya Sen (RO-MAN, 2015)

Modeling interoperability between a reflex and reasoning system in a physical simulation environment. - Konner Atkin; John Licato; Selmer Bringsjord (SpringSim (Posters), 2015)

Creating and reasoning over scene descriptions in a physically realistic simulation. - Nick Marton; John Licato; Selmer Bringsjord (SpringSim (ADS), 2015)

Analogical constructivism : the emergence of reasoning through analogy and action schemas. - John Licato (2015)

Embracing Inference as Action: A Step Towards Human-Level Reasoning. - John Licato; Maxwell Fowler (AGI, 2016)

Understanding the U-Shaped Curve: Central Claims and Applications for AI. - Bre Anne Briskey; Miriam Greidanus Romaneli; Dustin Hale; John Licato (MAICS, 2017)

Robotic Misdirection, For Good Causes. - Maxwell Fowler; Aaron Thieme; John Licato (MAICS, 2017)

Developing a Dataset for Personal Attacks and Other Indicators of Biases. - John Licato; Mark Boger; Zhitian Zhang (AAAI Spring Symposia, 2018)

Generating Near and Far Analogies for Educational Applications: Progress and Challenges. - Mark Boger; Antonio Laverghetta; Nikolai Fetisov; John Licato (ICMLA, 2019)

Evaluating representational systems in artificial intelligence. - John Licato; Zhitian Zhang (Artif. Intell. Rev., 2019)

Correction to: Evaluating representational systems in artificial intelligence. - John Licato; Zhitian Zhang (Artif. Intell. Rev., 2019)

Scenarios and Recommendations for Ethical Interpretive AI. - John Licato; Zaid Marji; Sophia Abraham (CoRR, 2019)

WG-A: A Framework for Exploring Analogical Generalization and Argumentation. - Michael Cooper; Lindsay Fields; Marc Badilla; John Licato (CogSci, 2020)

Towards Concise, Machine-Discovered Proofs of Gödel's Two Incompleteness Theorems. - Elijah Malaby; Bradley Dragun; John Licato (FLAIRS, 2020)

Probing the Natural Language Inference Task with Automated Reasoning Tools. - Zaid Marji; Animesh Nighojkar; John Licato (FLAIRS, 2020)

Learning Ex Nihilo. - Selmer Bringsjord; Naveen Sundar Govindarajulu; John Licato; Michael Giancola (GCAI, 2020)

Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI. - Michael Giancola; Selmer Bringsjord; Naveen Sundar Govindarajulu; John Licato (GCAI, 2020)

Towards a Task-Agnostic Model of Difficulty Estimation for Supervised Learning Tasks. - Antonio Laverghetta; Jamshidbek Mirzakhalov; John Licato (AACL/IJCNLP (Student Research Workshop), 2020)

Improving Paraphrase Detection with the Adversarial Paraphrasing Task. - Animesh Nighojkar; John Licato (ACL/IJCNLP (1), 2021)

Modeling Age of Acquisition Norms Using Transformer Networks. - Antonio Laverghetta Jr.; John Licato (FLAIRS, 2021)

Exploring Monte Carlo Negotiation Search with Nontrivial Agreements. - Elijah Malaby; John Licato (FLAIRS, 2021)

Backtracking Restarts for Deep Reinforcement Learning. - Zaid Marji; John Licato (FLAIRS, 2021)

Mutual Implication as a Measure of Textual Equivalence. - Animesh Nighojkar; John Licato (FLAIRS, 2021)

Can Transformer Language Models Predict Psychometric Properties? - Antonio Laverghetta Jr.; Animesh Nighojkar; Jamshidbek Mirzakhalov; John Licato (*SEM, 2021)

Evaluating Multiway Multilingual NMT in the Turkic Languages. - Jamshidbek Mirzakhalov; Anoop Babu; Aigiz Kunafin; Ahsan Wahab; Behzodbek Moydinboyev; Sardana Ivanova; Mokhiyakhon Uzokova; Shaxnoza Pulatova; Duygu Ataman; Julia Kreutzer; Francis M. Tyers; Orhan Firat; et al. (WMT@EMNLP, 2021)

Fact-checking, False Narratives, and Argumentation Schemes. - Giovanni Luca Ciampaglia; John Licato (KnOD@WWW, 2021)

Mood and force in defeasible arguments. - Ryan Phillip Quandt; John Licato (Argument Comput., 2021)

Evaluating Multiway Multilingual NMT in the Turkic Languages. - Jamshidbek Mirzakhalov; Anoop Babu; Aigiz Kunafin; Ahsan Wahab; Behzod Moydinboyev; Sardana Ivanova; Mokhiyakhon Uzokova; Shaxnoza Pulatova; Duygu Ataman; Julia Kreutzer; Francis M. Tyers; Orhan Firat; et al. (CoRR, 2021)

How Should AI Interpret Rules? A Defense of Minimally Defeasible Interpretive Argumentation. - John Licato (CoRR, 2021)

Developmental Negation Processing in Transformer Language Models. - Antonio Laverghetta Jr.; John Licato (ACL (2), 2022)

Of a Different Persuasion: Perception of Minority Status and Persuasive Impact. - Logan Fields; Zaid Marji; John Licato (CogSci, 2022)

Cognitive Modeling of Semantic Fluency Using Transformers. - Animesh Nighojkar; Anna Khlyzova; John Licato (CAKR@IJCAI, 2022)

Transformative Research Focus Considered Harmful. - Michael Cooper; John Licato (AI Mag., 2022)

Predicting Human Psychometric Properties Using Computational Language Models. - Antonio Laverghetta Jr.; Animesh Nighojkar; Jamshidbek Mirzakhalov; John Licato (CoRR, 2022)

Resoling Open-textured Rules with Templated Interpretive Arguments. - John Licato; Logan Fields; Zaid Marji (CoRR, 2022)

Player Identification and Next-Move Prediction for Collectible Card Games with Imperfect Information. - Logan Fields; John Licato (AIIDE, 2023)

Generating Better Items for Cognitive Assessments Using Large Language Models. - Antonio Laverghetta Jr.; John Licato (BEA@ACL, 2023)

Player Identification for Collectible Card Games with Dynamic Game States. - Logan Fields; John Licato (FLAIRS, 2023)

Code Generation for Collectible Card Games with Complex APIs. - John Licato; Logan Fields; Brayden Hollis (FLAIRS, 2023)

Enforcing Grammar in Code Synthesis with Transformers. - Dmytro Vitel; Stephen Steinle; John Licato (FLAIRS, 2023)

No Strong Feelings One Way or Another: Re-operationalizing Neutrality in Natural Language Inference. - Animesh Nighojkar; Antonio Laverghetta Jr.; John Licato (CoRR, 2023)

Shot Selection to Determine Legality of Actions in a Rule-Heavy Environment. - John Licato; Logan Fields; Stephen Steinle; Brayden Hollis (CoG, 2024)

Determining Legal Relevance with LLMs using Relevance Chain Prompting. - Onur Bilgin; John Licato (FLAIRS, 2024)

AMHR COLIEE 2024 Entry: Legal Entailment and Retrieval. - Animesh Nighojkar; Kenneth Jiang; Logan Fields; Onur Bilgin; Stephen Steinle; Yernar Sadybekov; Zaid Marji; John Licato (JSAI-isAI, 2024)

Exploring Prompting Approaches in Legal Textual Entailment. - Onur Bilgin; Logan Fields; Antonio Laverghetta; Zaid Marji; Animesh Nighojkar; Stephen Steinle; John Licato (Rev. Socionetwork Strateg., 2024)

Improving Multi-hop Logical Reasoning in Small LMs with LoRA Training. - Onur Bilgin; Abdullah As Sami; Suraj Kumar; John Licato (FLAIRS, 2025)

Evaluating large language models' ability to generate interpretive arguments. - Zaid Marji; John Licato (Argument Comput., 2025)

Giving AI Personalities Leads to More Human-Like Reasoning. - Animesh Nighojkar; Behzodbek Moydinboyev; My Duong; John Licato (CoRR, 2025)