309 search results - page 6 / 62 » Logic-Based Agent Communication Protocols |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
ARGMAS
2008
Springer
13 years 9 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
AGENTCL
2003
Springer
14 years 23 days ago
2003
Springer
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...