Verifying protocol conformance for logic-based communicating agents

DOI10.1007/11533092_12MaRDI QIDQ5706839zbMATH OpenOpenAlexFDO

Authors Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella

Publication date 23 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11533092

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Verification of Protocol Conformance and Agent Interoperability
• Verifying Agents’ Conformance with Multiparty Protocols
• Model checking logics for communicating sequential agents
• Logics in Artificial Intelligence
• Specifying and verifying systems of communicating agents in a temporal action logic
• Constraint-based verification of client-server protocols
• A verification logic for goal agents

Cited in

(9)

• Verifiable agent dialogues
• Specifying and verifying interaction protocols in a temporal action logic
• A verification framework for agent programming with declarative goals
• Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
• Verifying Agents’ Conformance with Multiparty Protocols
• Strategic Agent Communication: An Argumentation-Driven Approach
• Verification of Protocol Conformance and Agent Interoperability
• Logics in Artificial Intelligence
• Specifying and verifying systems of communicating agents in a temporal action logic

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Verifying protocol conformance for logic-based communicating agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5706839)