77 search results - page 2 / 16 » Temporal logics for normative agent communication protocols |
ARGMAS
2008
Springer
13 years 7 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...
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to ...
AGENTCL
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as n...
AGENTCL
2000
Springer
13 years 9 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...