Amanda's Home | Strathclyde Planning Group | CIS Publications Database | Contact Amanda

COLIN

COLIN, the first PDDL planner to reason with (linear) continuous numeric change, developed in conjunction with Andrew Coles, Maria Fox and Derek Long.

CRIKEY 3

CRIKEY, a temporal planner capable of reasoning with the full PDDL 2.1 semantics, developed in conjunction with Andrew Coles, Maria Fox and Derek Long.

LPRPG

LPRPG, a numeric (non-temporal) planner using an LP to improve heuristic estimates in domains where numeric interaction is critical in solving problems, developed in conjunction with Andrew Coles, Maria Fox and Derek Long. See the paper or watch a video lecture to find out more about LPRPG.

TSGP

TSGP, a decomposition-based planning system developed in conjunction with Andrew Coles, Maria Fox and Derek Long.

Marvin

Marvin, written in conjunction with Andrew Coles, is a planner that generates marco-actions through an online learning process.

PacPlan

Pac_Plan, a collaborative project with Sergio Jiminez and Andrew Coles, is a probabilistic planner that converts probabilities to costs and planning with the aim of minimising the risk of plan failure.

JavaFF

JavaFF, written in conjunction with Andrew Coles, and based on code by Keith Halsey, is teaching tool that allows students to get involved in writing their own planner. A task which, without this tool, was considered valuable but too complex to be feasible.

Planning with Continuous Numeric Effects

Domains and resources for planning with continuous numeric effects.

Resource Envelope Calculator

Resource Envelope Calculator Work in the early stages of my PhD was concerned with managing resource constaints in planning Andrew Coles and I produced an implementation of an algoritm for calculating resource envelopes incrementally. The implementation is that of an algorithm devised by T. K. Satish Kumar; his paper, entitled 'Incremental Computation of Resource-Envelopes in Producer-Consumer Models', which describes the algorithm can be found on his website. The C++ source code of the implementation is available here and is known to compile using g++ version 3.3.2 running on Linux.