Deductive Synthesis of Recursive Plans in Linear Logic

• Authors:

• Stephen Cresswell;Alan Smaill;Julian Richardson

• Affiliations:

• -;-;-

• Venue:
• ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
• Year:
• 1999