245 search results - page 18 / 49 » Semantic Issues in the Verification of Agent Communication L... |
PROMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
WWW
2007
ACM
16 years 14 days ago
2007
ACM
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
105
click to vote
ACOM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. In this paper, we tran...
AAMAS
2007
Springer
14 years 12 months ago
2007
Springer
We describe our preliminary work in modeling conversation specifications and policies as positive/negative permissions and obligations. Our model is generic as it is independent o...