Pages that link to "Item:Q4534180"
From MaRDI portal
The following pages link to The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity (Q4534180):
Displayed 7 items.
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- Collaborative planning with confidentiality (Q540688) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)