265 search results - page 36 / 53 » Operational Semantics for Agent Communication Languages |
IEEEARES
2009
IEEE
15 years 6 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
105
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
111
click to vote
ESWS
2005
Springer
15 years 5 months ago
2005
Springer
The Semantic Web is an extension of the current Web in which information is given well-defined meaning to support effective data discovery and integration. The RDF framework is a...
ACOM
2004
Springer
15 years 5 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 ...