Verifying Protocol Conformance for Logic-Based Communicating Agents
- 19 August 2005
- book chapter
- Published by Springer Nature
- p. 196-212
- https://doi.org/10.1007/11533092_12
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A Computational Model for Conversation Policies for Agent CommunicationPublished by Springer Nature ,2005
- On Modelling Multi-agent Systems DeclarativelyPublished by Springer Nature ,2005
- Formal Semantics for AUML Agent Interaction Protocol DiagramsPublished by Springer Nature ,2005
- Programming Rational Agents in a Modal Action LogicAnnals of Mathematics and Artificial Intelligence, 2004
- Specification and verification of agent interaction protocols in a logic-based systemPublished by Association for Computing Machinery (ACM) ,2004
- Logic-Based Agent Communication ProtocolsPublished by Springer Nature ,2004
- Reasoning about Self and Others: Communicating Agents in a Modal Action LogicPublished by Springer Nature ,2003
- An efficient automata approach to some problems on context-free grammarsInformation Processing Letters, 2000
- Normal Multimodal Logics with Interaction AxiomsPublished by Springer Nature ,2000
- A Tableau Calculus for Multimodal Logics and Some (Un)Decidability ResultsPublished by Springer Nature ,1998