Verifiable agent dialogues

DOI10.1016/j.jal.2005.12.009zbMath1119.68392OpenAlexW1993650803MaRDI QIDQ2372183

Christopher D. Walton

Publication date: 25 July 2007

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2005.12.009

zbMATH Keywords

model checkingmulti-agent systemsdialogue protocolsagent communication

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in artificial intelligence (68T01)

Related Items (1)

Contracts Violation: Justification via Argumentation

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• A calculus of mobile processes. II
• Games that agents play: A formal framework for dialogues between autonomous agents
• On agent-based software engineering
• Guarded commands, nondeterminacy and formal derivation of programs

This page was built for publication: Verifiable agent dialogues