245 search results - page 21 / 49 » Semantic Issues in the Verification of Agent Communication L... |
110
click to vote
ATAL
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
MAGS
2008
14 years 11 months ago
2008
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
JODS
2006
14 years 11 months ago
2006
Abstract. We study the exchange of information in collective information systems mediated by information agents, focusing specifically on the problem of semantic interoperability. ...
RR
2007
Springer
15 years 6 months ago
2007
Springer
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
113
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...