Pages that link to "Item:Q4534180"

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)