145 search results - page 16 / 29 » Verifiable Semantics for Agent Communication Languages |
84
Voted
JODS
2006
14 years 9 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. ...
ATAL
2005
Springer
15 years 3 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...
ACMICEC
2007
ACM
15 years 1 months ago
2007
ACM
This paper discusses semantic interoperability issues in agentbased E-commerce systems. The literature reports various techniques to enable agents to understand the meanings of th...
FM
2003
Springer
15 years 2 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
CICLING
2001
Springer
15 years 2 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...