The following pages link to Verifiable agent dialogues (Q2372183):
Displaying 4 items.
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
- Contracts Violation: Justification via Argumentation (Q3393386) (← links)
- Towards Encoding of the Transition Relation in Dialogue Games Model Checking (Q5377331) (← links)
- Logics in Artificial Intelligence (Q5394113) (← links)