1.7k citations · 2.9k across the 13 of their papers we have counts for
10 papers · 1 filter
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…
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…
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning
Amanda Jane Coles, Andrew Ian Coles, Maria Fox +1
Although the use of metric fluents is fundamental to many practical planning problems, the study of heuristics to support fully automated planners working with these fluents remain…
Plan-based Policies for Efficient Multiple Battery Load Management
Maria Fox, Derek Long, Daniele Magazzeni
Efficient use of multiple batteries is a practical problem with wide and growing application. The problem can be cast as a planning problem under uncertainty. We describe the appro…
COLIN: Planning with Continuous Linear Numeric Change
Amanda J. Coles, Andrew I. Coles, Maria Fox +1
In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantics…
Modelling Mixed Discrete-Continuous Domains for Planning
M. Fox, D. Long
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl+…