145 search results - page 13 / 29 » Verifiable Semantics for Agent Communication Languages |
JCIT
2007
14 years 9 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
72
Voted
ACOM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
168
click to vote
POPL
2001
ACM
15 years 9 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
98
Voted
ATAL
2005
Springer
14 years 11 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...