Pages that link to "Item:Q578927"
From MaRDI portal
The following pages link to A deductive solution for plan generation (Q578927):
Displayed 10 items.
- A new deductive approach to planning (Q922685) (← links)
- Linearity and plan generation (Q1108814) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Ramification and causality (Q1399132) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← 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)
- Generating plans in linear logic. II: A geometry of conjunctive actions (Q1802078) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)