The following pages link to Linearity and plan generation (Q1108814):
Displaying 5 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)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)