Semantic Issues in the Verification of Agent Communication Languages

• 1 January 2000
• journal article
• Published by Springer Nature in Autonomous Agents and Multi-Agent Systems
• Vol. 3  (1) , 9-31
• https://doi.org/10.1023/a:1010090027213

Abstract

Keywords

• VERIFICATION
• SEMANTICS
• RESPECT
• GIVING
• FORMAL
• CONFORMANCE
• AGENT COMMUNICATION LANGUAGES