245 search results - page 5 / 49 » Semantic Issues in the Verification of Agent Communication L... |
97
Voted
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
Agent communication languages such as KQML and the FIPA ACL serve as metalanguages to define software agent message-passing protocols. These metalanguages are incompatible with eac...
CI
2002
14 years 9 months ago
2002
This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time. Such an ability...
HICSS
1999
IEEE
15 years 1 months ago
1999
IEEE
Interoperability is a central issue for both the mobile agents community and the wider agents community. Unfortunately, the interoperability concerns are different between the two...
86
Voted
AGENTCL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
ATAL
2003
Springer
15 years 1 months ago
2003
Springer
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...