241 search results - page 20 / 49 » Dynamic semantics for agent communication languages |
SAC
2005
ACM
14 years 29 days ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
IJAIT
2006
13 years 7 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...
LOPSTR
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
MA
2000
Springer
13 years 11 months ago
2000
Springer
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
ATAL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. The collaboration between two intelligent agents can be greatly enhanced if a third agent, who has some understanding of the communication between the first two, interve...