Sciweavers

265 search results - page 16 / 53
» Operational Semantics for Agent Communication Languages
Sort
View
169
Voted
POPL
2001
ACM
15 years 9 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
ATAL
2005
Springer
14 years 11 months ago
A formal framework for agent interaction semantics
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
Shamimabi Paurobally, Jim Cunningham, Nicholas R. ...
87
Voted
ATAL
2003
Springer
15 years 1 months ago
Democracy in open agent systems
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...
Peter McBurney, Simon Parsons
VRML
2003
ACM
15 years 2 months ago
Implementation of a scripting language for VRML/X3D-based embodied agents
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
Zhisheng Huang, Anton Eliëns, Cees T. Visser
ACOM
2006
Springer
14 years 11 months ago
ACL Semantics Between Social Commitments and Mental Attitudes
Abstract. There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. In this paper, we tran...
Guido Boella, Rossana Damiano, Joris Hulstijn, Lee...