Deductive Synthesis of Recursive Plans in Linear Logic. - Stephen Cresswell; Alan Smaill; Julian Richardson (ECP, 1999)

Adapting LPGP to Plan with Deadlines. - Stephen Cresswell; Alexandra M. Coddington (ECAI, 2004)

Compilation of LTL Goal Formulas into PDDL. - Stephen Cresswell; Alexandra M. Coddington (ECAI, 2004)

Acquisition of Object-Centred Domain Models from Planning Examples. - Stephen Cresswell; Thomas Leo McCluskey; Margaret Mary West (ICAPS, 2009)

Automated Acquisition of Action Knowledge. - Thomas Leo McCluskey; Stephen Cresswell; N. Elisabeth Richardson; Margaret Mary West (ICAART, 2009)

Action Knowledge Acquisition with Opmaker2. - Thomas Leo McCluskey; Stephen Cresswell; N. Elisabeth Richardson; Margaret Mary West (ICAART (Revised Selected Papers), 2009)

Generalised Domain Model Acquisition from Action Traces. - Stephen Cresswell; Peter Gregory (ICAPS, 2011)

Acquiring planning domain models using LOCM. - Stephen Cresswell; Thomas Leo McCluskey; Margaret Mary West (Knowl. Eng. Rev., 2013)

Domain Model Acquisition in the Presence of Static Relations in the LOP System. - Peter Gregory; Stephen Cresswell (IJCAI, 2016)