Pages that link to "Item:Q2373707"
From MaRDI portal
The following pages link to Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707):
Displaying 10 items.
- Fast strong planning for fully observable nondeterministic planning problems (Q504220) (← links)
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- A new representation and associated algorithms for generalized planning (Q543617) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Linearity and plan generation (Q1108814) (← links)
- Using many-sorted logic in the object-oriented data model for fast robot task planning (Q1286807) (← links)
- Permissive planning: Extending classical planning to uncertain task domains. (Q1399128) (← links)
- Generating plans in linear logic. I: Actions as proofs (Q1802077) (← links)
- Computer Science Logic (Q5292643) (← links)
- Theoretical computer science: computability, decidability and logic (Q6602262) (← links)
