The following pages link to Generating plans in linear logic (Q3976054):
Displaying 19 items.
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- A deductive solution for plan generation (Q578927) (← links)
- Plans, actions and dialogues using linear logic (Q1016033) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Linearity and plan generation (Q1108814) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- On proof normalization in linear logic (Q1342248) (← 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)
- The logic of tasks (Q1849860) (← links)
- The propositional logic of elementary tasks (Q1861137) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- (Q4209625) (← links)
- (Q4252522) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
- Linear deductive planning (Q4881298) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
- Computer Science Logic (Q5292643) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464718) (← links)