135 search results - page 20 / 27 » A New Logical Semantics for Agent Communication |
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 ...
ISCC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
102
click to vote
COORDINATION
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
ACOM
2004
Springer
15 years 3 months ago
2004
Springer
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...
108
click to vote
LANMR
2004
14 years 11 months ago
2004
In previous work we have discussed the importance of identifying the cycles that occur in a logic program under the answer set semantics, and the connections between cycles, that w...