145 search results - page 1 / 29 » Verifiable Semantics for Agent Communication Languages |
ICMAS
1998
14 years 6 days 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
14 years 2 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
14 years 2 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 9 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 10 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