245 search results - page 4 / 49 » Semantic Issues in the Verification of Agent Communication L... |
209
Voted
POPL
2001
ACM
16 years 1 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
110
Voted
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
131
Voted
JAIR
2007
15 years 29 days ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
103
Voted
AAAI
2000
15 years 2 months ago
2000
Group communication is the core of societal interactions. Therefore, artificial agents should be able to communicate with groups as well as individuals. However, most contemporary...
107
Voted
IJAIT
2006
15 years 1 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...