Pages that link to "Item:Q5706839"
From MaRDI portal
The following pages link to Computational Logic in Multi-Agent Systems (Q5706839):
Displaying 8 items.
- Verifiable agent dialogues (Q2372183) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS (Q2999237) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
- Strategic Agent Communication: An Argumentation-Driven Approach (Q3601795) (← links)
- Logics in Artificial Intelligence (Q5394113) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897330) (← links)