Pages that link to "Item:Q534715"
From MaRDI portal
The following pages link to Linear logic as a tool for planning under temporal uncertainty (Q534715):
Displaying 7 items.
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Generating plans in linear logic. II: A geometry of conjunctive actions (Q1802078) (← links)
- (Q4247687) (← links)
- From Uncertainty Data to Robust Policies for Temporal Logic Planning (Q4561448) (← links)
- Computer Science Logic (Q5292643) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311242) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897333) (← links)