Pages that link to "Item:Q1016033"
From MaRDI portal
The following pages link to Plans, actions and dialogues using linear logic (Q1016033):
Displaying 5 items.
- Agents via mixed-mode computation in linear logic (Q702108) (← links)
- Language design issues for agents based on linear logic (extended abstract) (Q2844922) (← links)
- Structural Analysis of Narratives with the Coq Proof Assistant (Q3087995) (← links)
- Generating plans in linear logic (Q3976054) (← links)
- Computational Logic in Multi-Agent Systems (Q5464688) (← links)