Pages that link to "Item:Q578927"
From MaRDI portal
The following pages link to A deductive solution for plan generation (Q578927):
Displaying 16 items.
- Collaborative planning with confidentiality (Q540688) (← links)
- John McCarthy's legacy (Q543573) (← links)
- 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)
- Bounded-Resource Reasoning as (Strong or Classical) Planning (Q3393381) (← links)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
