![]() | ![]() |
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] |