Pages that link to "Item:Q1802077"
From MaRDI portal
The following pages link to Generating plans in linear logic. I: Actions as proofs (Q1802077):
Displaying 11 items.
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- Collaborative planning with confidentiality (Q540688) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- On proof normalization in linear logic (Q1342248) (← links)
- Semantic data modelling using linear logic (Q1349996) (← links)
- Ramification and causality (Q1399132) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Generating plans in linear logic. II: A geometry of conjunctive actions (Q1802078) (← links)
- Cut elimination for the unified logic (Q2367410) (← 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)
