The following pages link to Computer Science Logic (Q5292643):
Displaying 4 items.
- On linear logic planning and concurrency (Q1041042) (← links)
- Using many-sorted logic in the object-oriented data model for fast robot task planning (Q1286807) (← links)
- Generating plans in linear logic. I: Actions as proofs (Q1802077) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)