Accepted Papers

Long talks

• Ontology Knowledge-enhanced In-Context Learning for Action-Effect Prediction
  Fangjun Li, David C. Hogg and Anthony G. Cohn
  Keywords: in-context learning, few-shot learning, commonsense reasoning, language models, prompt engineering, knowledge, ontology

• Efficient Induction of Language Models Via Probabilistic Concept Formation
  Christopher Maclellan, Peter Matsakis and Pat Langley
  Keywords: concept formation, language model, human-like learning

• Cognitive Modeling of Interpretations of Representations
  Aaron Stockdill, Grecia Garcia Garcia, Peter Cheng, Daniel Raggi and Mateja Jamnik
  Keywords: representations, cognition, interpretation, schemas

• Representing Motivation in a Simple Perceptual and Motor Coordination Task based on a Goal Activation Mechanism
  Jumpei Nishikawa, Kazuma Nagashima, Ryo Yoneda, Junya Morita and Tetsuya Terada
  Keywords: ACT-R, cognitive resource, cog arch, motivation, goal reasoning

• Conclusion-Verified Analogical Schema Induction
  Joseph Blass and Kenneth Forbus
  Keywords: Analogy, Concept Learning, Analogical Generalization, Supervised Learning, Legal Reasoning

• A Neuro-Symbolic Cognitive System for Intuitive Argumentation
  Vasanth Sarathy, Mark Burstein, Scott Friedman, Robert Bobrow and Ugur Kuter
  Keywords: argumentation, reasoning, language models, prompt design

• Agent Goal Management using Goal Operations
  Sravya Kondrakunta, Venkatsampath Raja Gogineni and Michael Cox
  Keywords: goal reasoning, goal operations, cognition, meta-cognition

• Dynamic Discounting in Decision-Making
  Derek Martin and Arnav Jhala
  Keywords: Dynamic discounting, Reinforcement learning, Cognitive models, decision-making, agents

• Taking the Intentional Stance Seriously: A Guide to Progress in Artificial Intelligence
  Will Bridewell
  Keywords: intentionality, intention, scientific methodology, apophatic science

• Getting Help from the Neighborhood: Local Semantic Averaging for Commonsense Inference in Language Models
  Claire Yin, Pedro Colon-Hernandez and Henry Lieberman
  Keywords: machine learning, commonsense inference, language models, knowledge graphs, relational graph, transformers, semantic knowledge

Short talks

• Interleaving a Symbolic Story Generator with a Neural Network-Based Large Language Model
  Jingwen Xiang, Zoie Zhao, Mackie Zhou, Megan McKenzie, Alexis Kilayko, Jamie Macbeth, Scott Carter, Katharine Sieck and Matthew Klenk
  Keywords: story generation, natural language generation, neural-symbolic systems, large language models

• A Discourse Interpretation Engine Sensitive to Truth Revisions in a Story
  Pablo Gervás
  Keywords: discourse interpretation, truth revision, narrative

• Learning from Single and Multi-human intelligence via Cognitive and Reinforcement Learning
  Aadhar Gupta, Mahavir Dabas, Shashank Uttrani and Varun Dutt
  Keywords: reinforcement learning, deep Q-learning, instance-based learning, ACT-R

• Detecting and Accommodating Novel Types and Concepts in an Embodied Simulation Environment
  Sadaf Ghaffari and Nikhil Krishnaswamy
  Keywords: metacog, embodied simulation, transfer learning, metacognition, voxml

• Benchmark based Vitality of Axioms and Preconditions for Datalog Theory Repair
  Xue Li, Alan Bundy and Ruiqi Zhu
  Keywords: knowledge representation, logic, automated reasoning, preference

• Learning Decomposition Methods with Numeric Landmarks
  Morgan Fine-Morris, Michael Floyd, Bryan Auslander, Greg Pennisi, Kalyan Gupta, Mark Roberts, Jeff Heflin and Hector Munoz-Avila
  Keywords: HTN learning, planning landmarks, symbolic and numeric preconditions, numeric tasks, numeric goals

• Deductive Reasoning with Incomplete Knowledge via Repeated Analogies
  Jason Wilson, Lissangel Martinez and Irina Rabkina
  Keywords: analogy, logic, deductive reasoning, non-monotonic reasoning, structure mapping

• An Integrated Architecture for Common Ground in Collaboration
  Christopher Geib, Denson George, Baber Khalid, Richard Magnotti and Matthew Stone
  Keywords: plan recognition, dialogue, common ground, teamwork

• A Framework for Interactive Natural Language Debugging
  Constantine Nakos, Mukundan Kuthalam and Kenneth Forbus
  Keywords: natural language understanding, natural language debugging, model-based diagnosis

• Diasynchronic Logic
  Justin Brody and Don Perlis
  Keywords: logic, meta-cognition, self-reference

• Framework for a multi-dimensional test of theory of mind for humans and AI systems
  Caoimhe Harrington Stack, Sarah Myers, Effat Farhana, Aviv Roskes, Xinyu Shen, Simeng Zhao, Angela Maliakal, Roxanne Rashedi, Joel Michelson and Maithilee Kunda
  Keywords: psychometric assessment, social cognition, visual question answering, vision, scene comprehension, theory of mind, autism spectrum

• LARA – Human-guided collaborative problem solver: Effective integration of learning, reasoning and communication
  Harsha Kokel, Mayukh Das, Rakibul Islam, Julia Bonn, Jon Cai, Soham Dan, Anjali Narayan-Chen, Prashant Jayannavar, Jana Doppa, Julia Hockenmaier, Sriraam Natarajan, Martha Palmer and Dan Roth
  Keywords: concept learning, inductive logic programming, hierarchical planning, natural language communication, collaborative problem solving, metacog

• Real-Time Metacognition and Applications
  Matthew D. Goldberg and Donald Perlis
  Keywords: logic, metacog, active logic, commonsense reasoning, nonmonotonic reasoning, default reasoning

• Motion Planning and Continuous Control in a Unified Cognitive Architecture
  Pat Langley and Edward Katz
  Keywords: cognitive architecture, control system, mental simulation, motion planning, robotics

• Anticipatory Thinking Assessment: Stress tests using synthetic data
  Adam Amos-Binks and Leilani Gilpin
  Keywords: autonomy, anticipatory thinking, alignment, decision making

Posters

• Script Combination for Enhanced Story Understanding and Story Generation Systems
  Megan McKenzie, Alexis Kilayko, Jamie Macbeth, Scott Carter, Kate Sieck and Matt Klenk
  Keywords: natural language understanding, story understanding, scripts, knowledge representation

• Multi-agent Goal Delegation Using Theory of Mind
  Venkatsampath Raja Gogineni, Sravya Kondrakunta and Michael Cox
  Keywords: planning, theory of mind, goal reasoning, goal driven autonomy, autonomous agents, multi-agent systems

• Contextualized Access to Large-Scale Domain Knowledge for Conceptual Modeling of Agent-Based Systems
  Sungeun An, Jennifer Hammock, Spencer Rugaber and Ashok Goel
  Keywords: qualitative modeling, conceptual model, agent-based simulation, ecology, domain knowledge

• Addressing the Scaling Problem for Embodied Symbolic Reasoning
  David Sekora
  Keywords: symbolic logic, spatial logic, embodied cognition, locality

• Improving Language Model Prompting in Support of Semi-autonomous Task Learning
  James Kirk, Robert Wray, Peter Lindes and John Laird
  Keywords: language models, cog arch, prompting, online task learning, cognitive architectures

• Transforming Environments to Evaluate Agent Adaptation
  Dustin Dannenhauer, Noah Reifsnyder, AJ Regester and Matthew Molineaux
  Keywords: planning, goal reasoning, transformed environments, agent based systems, agent adaption

• Learning a More Efficient Backward-Chaining Reasoner
  Alex Arnold and Jeff Heflin
  Keywords: horn logic, meta-reasoning, neuro-symbolic, neural network

• Towards an Artificial, General Episodic Memory via Learning in Noisy, Perceptually-Aliased Environments
  Braeden Lane, Connor Morgan, Kai Vickers, Max Woods and Andrew Nuxoll
  Keywords: episodic memory, perceptual aliasing, noisy sensors, episodic learning

• Visual Inference Using Homology of Human and Machine Vision Systems
  Jacob Morosco and Yuchou Chang
  Keywords: vision, homology of human and machine vision systems, visual inference, dot language, COCO dataset,

• Portals and Spaces: An Egocentric Knowledge Representation for Reasoning About Actions and its Implementation
  Christopher Geib, Jeffrey Rye and Vasanth Sarathy
  Keywords: Knowledge Representation, Reasoning, plan recognition, spatial representations, robotics

• Asking Language Models to Explain Pronoun-Ambiguous Sentences
  Yida Xin, Henry Lieberman and Pedro Colon-Hernandez
  Keywords: natural language understanding and generation, common sense and qualitative modeling, conceptual inference and reasoning

• Knowledge Representation Integrating Conditional Probabilities, Closure Logic, and Primitives
  Robert L. Kirby
  Keywords: knowledge representation, conditional probability estimates, closure logic, primitives