Pages that link to "Item:Q1802078"
From MaRDI portal
The following pages link to Generating plans in linear logic. II: A geometry of conjunctive actions (Q1802078):
Displaying 5 items.
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- Plans, actions and dialogues using linear logic (Q1016033) (← 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)
- Structural Analysis of Narratives with the Coq Proof Assistant (Q3087995) (← links)
