The following pages link to Let's plan it deductively! (Q1274761):
Displaying 6 items.
- A new deductive approach to planning (Q922685) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- Generating plans in linear logic. I: Actions as proofs (Q1802077) (← links)
- Transition Logic Revisited (Q3535602) (← links)
- Linear deductive planning (Q4881298) (← links)