145 search results - page 1 / 29 » Verifiable Semantics for Agent Communication Languages |
ICMAS
1998
13 years 6 months ago
1998
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
ECAI
2006
Springer
13 years 8 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
ATAL
2003
Springer
13 years 8 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...
TOPLAS
2010
13 years 3 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
AAMAS
2000
Springer
13 years 4 months ago
2000
Springer
This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a