Verification of Protocol Conformance and Agent Interoperability

DOI10.1007/11750734_15MaRDI QIDQ3623976zbMATH OpenOpenAlexFDO

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

Publication date 28 April 2009

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Computational Logic in Multi-Agent Systems
• Verifying Agents’ Conformance with Multiparty Protocols
• Verifiable agent dialogues
• Logic Programming
• Logics in Artificial Intelligence

Cited in

(9)

• Verifiable agent dialogues
• Verification of agent-based artifact systems
• Making Golog norm compliant
• Verifying Agents’ Conformance with Multiparty Protocols
• Strategic Agent Communication: An Argumentation-Driven Approach
• scientific article; zbMATH DE number 2006598 (Why is no real title available?)
• Two-stage agent program verification
• Logic Programming
• Computational Logic in Multi-Agent Systems

This page was built for publication: Verification of Protocol Conformance and Agent Interoperability

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