Pages that link to "Item:Q5897330"
From MaRDI portal
The following pages link to AI*IA 2003: Advances in Artificial Intelligence (Q5897330):
Displaying 11 items.
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- Synthesis of communicating process skeletons from temporal-spatial logic specifications (Q1116944) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Detecting temporal agent conflicts (Q2728989) (← links)
- Specification and verification of agent interaction using social integrity constraints (Q2844044) (← links)
- Specialization of interaction protocols in a temporal action logic (Q2852084) (← links)
- FSP and FLTL framework for specification and verification of middle-agents (Q3016270) (← links)
- On the SMT-based Verification of Communicative Commitments (Q5040701) (← links)
- Logics in Artificial Intelligence (Q5394113) (← links)
- Computational Logic in Multi-Agent Systems (Q5706839) (← links)