Verification of Protocol Conformance and Agent Interoperability

DOI10.1007/11750734_15zbMATH Open1236.68245OpenAlexW2160614390MaRDI QIDQ3623976FDOQ3623976

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (9)

• Logic Programming
• Computational Logic in Multi-Agent Systems
• Two-stage agent program verification
• Title not available (Why is that?)
• Verifying Agents’ Conformance with Multiparty Protocols
• Verifiable agent dialogues
• Verification of agent-based artifact systems
• Making Golog norm compliant
• Strategic Agent Communication: An Argumentation-Driven Approach

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)