| |
| 2004 | ||
|---|---|---|
| 3 | Stephen Cresswell, Alexandra M. Coddington: Adapting LPGP to Plan with Deadlines. ECAI 2004: 983-984 | |
| 2 | Stephen Cresswell, Alexandra M. Coddington: Compilation of LTL Goal Formulas into PDDL. ECAI 2004: 985-986 | |
| 1999 | ||
| 1 | Stephen Cresswell, Alan Smaill, Julian Richardson: Deductive Synthesis of Recursive Plans in Linear Logic. ECP 1999: 252-264 | |
| 1 | Alexandra M. Coddington | [2] [3] |
| 2 | Julian Richardson | [1] |
| 3 | Alan Smaill | [1] |