Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Browse by Author or Creator

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item type | No Grouping
Number of items: 9.

Book Section

Gregory, P. and Cresswell, S. and Long, D. and Porteous, J. (2004) On the extraction of disjunctive landmarks from planning problems via symmetry reduction. In: Proceedings of SymCon'04: The 4th International Workshop on Symetry and Constraint Satisfaction Problems. Springer, pp. 34-41.

Conference or Workshop Item

Cresswell, S. and Coddington, A.M. (2004) Compilation of LTL goal formulas into PDDL. In: European Conference on Artificial Intelligence (ECAI 2004), 2004-08-22 - 2004-08-27, Valencia, Spain.

Coddington, A. and Cresswell, S. (2004) Adapting LPGP to plan with deadlines. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), 2004-01-01, Amsterdam.

Cresswell, S. and Coddington, A.M. (2004) Handling LTL formulas in a plan graph. In: Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group, 2004-12-20 - 2004-12-21, Cork, Ireland.

Cresswell, S. and Coddington, A.M. (2003) Planning with timed literals and deadlines. In: Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10, Glasgow, Scotland.

Porteous, J. and Cresswell, S. (2002) Extending landmarks analysis to reason about resources and repetition. In: Proceedings of the 21st Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG '02), 2002-11-21 - 2002-11-22, Delft, The Netherlands.

Cresswell, S. and Fox, M. and Long, D. (2002) Extending {TIM} domain analysis to handle {ADL} constructs. In: AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, 2002-04-23 - 2002-04-27, Toulouse, France.

Cresswell, S. and Smaill, A. and Richardson, J. (1999) Deductive synthesis of recursive plans in linear logic. In: 5th European Conference on Planning (ECP 99), 1999-09-08 - 1999-09-10, Durham, England.

Proceedings Paper

Cresswell, S. and Coddington, A. (2004) Adapting LPGP to plan with deadlines. [Proceedings Paper]

This list was generated on Fri Aug 1 10:09:01 2014 BST.