Autonomous robots facing a diversity of open environments and performing a variety of tasks
and interactions need explicit deliberation in order to fulfill their missions. Deliberation is …

A network of brain structures including hippocampus (HC), prefrontal cortex, and striatum
controls goal-directed behavior and decision making. However, the neural mechanisms …

Recent large language models (LLMs) have demonstrated remarkable performance on a
variety of natural language processing (NLP) tasks, leading to intense excitement about their …

We describe a framework for research and evaluation in Embodied AI. Our proposal is
based on a canonical task: Rearrangement. A standard task can focus the development of …

We study few-shot prompting of pretrained large language models (LLMs) towards solving
PDDL planning problems. We are interested in two questions:(1) To what extent can LLMs …

Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about
plans, most importantly the reasoning that goes into formulating a plan to achieve a given …

There has been significant interest of late in generating behavior of agents that is
interpretable to the human (observer) in the loop. However, the work in this area has …

Knowledge representation and reasoning is the foundation of artificial intelligence,
declarative programming, and the design of knowledge-intensive software systems capable …

In this paper, we study synthesis from logical specifications over finite traces expressed in
LTLf and its extension LDLf. Specifically, in this form of synthesis, propositions are …

The fourth edition of this bestselling textbook explains the principles of artificial intelligence
(AI) and its practical applications. Using clear and concise language, it provides a solid …