981 search results - page 26 / 197 » Semantics for an Agent Communication Language |
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
100
click to vote
MA
2000
Springer
15 years 1 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
66
Voted
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
CLIMA
2009
14 years 7 months ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...