1.7k citations · 2.9k across the 15 of their papers we have counts for
14 papers · 1 filter
Improving Search by Utilizing State Information in OPTIC Planners Compilation to LP
Elad Denenberg, Amanda Coles, Derek Long
Automated planners are computer tools that allow autonomous agents to make strategies and decisions by determining a set of actions for the agent that to take, which will carry a s…
Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking
Josef Bajada, Maria Fox, Derek Long
Temporal planning often involves numeric effects that are directly proportional to their action's duration. These include continuous effects, where a numeric variable is subjected…
D-VAL: An automatic functional equivalence validation tool for planning domain models
Anas Shrinah, Derek Long, Kerstin Eder
This paper introduces an approach to validate the functional equivalence of planning domain models. Validating the functional equivalence of planning domain models is the problem o…
Contrastive Explanations of Plans Through Model Restrictions
Benjamin Krarup, Senka Krivic, Daniele Magazzeni +3
In automated planning, the need for explanations arises when there is a mismatch between a proposed plan and the user's expectation. We frame Explainable AI Planning in the context…
Towards Contrastive Explanations for Comparing the Ethics of Plans
Benjamin Krarup, Senka Krivic, Felix Lindner +1
The development of robotics and AI agents has enabled their wider usage in human surroundings. AI agents are more trusted to make increasingly important decisions with potentially…
Explainable Planning
Maria Fox, Derek Long, Daniele Magazzeni
As AI is increasingly being adopted into application solutions, the challenge of supporting interaction with humans is becoming more apparent. Partly this is to support integrated…