The following pages link to (Q3976054):
Displayed 8 items.
- On linear logic planning and concurrency (Q1041042) (← 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)
- Default reasoning by deductive planning (Q1896366) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)