The following pages link to Linear deductive planning (Q4881298):
Displaying 11 items.
- A deductive solution for plan generation (Q578927) (← links)
- A new deductive approach to planning (Q922685) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- How to clear a block: a theory of plans (Q1100936) (← links)
- Linearity and plan generation (Q1108814) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- The logic of totally and partially ordered plans: A deductive database approach (Q1370626) (← links)
- (Q4209625) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311242) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464718) (← links)