The following pages link to Linearity and plan generation (Q1108814):
Displaying 7 items.
- A deductive solution for plan generation (Q578927) (← links)
- A new deductive approach to planning (Q922685) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Generating plans in linear logic. I: Actions as proofs (Q1802077) (← links)
- Generating plans in linear logic. II: A geometry of conjunctive actions (Q1802078) (← links)
- (Q4209625) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)