research
∙
06/13/2023
TOBY: A Tool for Exploring Data in Academic Survey Papers
This paper describes TOBY, a visualization tool that helps a user explor...
share
research
∙
06/02/2023
Egocentric Planning for Scalable Embodied Task Achievement
Embodied agents face significant challenges when tasked with performing ...
research
∙
06/14/2022
MACQ: A Holistic View of Model Acquisition Techniques
For over three decades, the planning community has explored countless me...
research
∙
10/06/2021
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Many AI applications involve the interaction of multiple autonomous agen...
research
∙
06/30/2021
Classical Planning in Deep Latent Space
Current domain-independent, classical planners require symbolic models o...
research
∙
07/09/2020
Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case
Usage of automated controllers which make decisions on an environment ar...
research
∙
04/27/2020
Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
We achieved a new milestone in the difficult task of enabling agents to ...
research
∙
10/17/2019
Planning for Goal-Oriented Dialogue Systems
Generating complex multi-turn goal-oriented dialogue agents is a difficu...
research
∙
03/18/2019
Planning with Explanatory Actions: A Joint Approach to Plan Explicability and Explanations in Human-Aware Planning
In this work, we formulate the process of generating explanations as mod...
research
∙
02/02/2019
Generating Dialogue Agents via Automated Planning
Dialogue systems have many applications such as customer support or ques...
research
∙
09/14/2016
Finite LTL Synthesis is EXPTIME-complete
LTL synthesis -- the construction of a function to satisfy a logical spe...
research
∙
02/21/2016
Social planning for social HRI
Making a computational agent 'social' has implications for how it percei...
research
∙
07/28/2015
Projected Model Counting
Model counting is the task of computing the number of assignments to var...
research
∙
11/20/2014