145 search results - page 4 / 29 » Verifiable Semantics for Agent Communication Languages |
IJIS
2008
14 years 9 months ago
2008
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...
ICSE
2004
IEEE-ACM
15 years 9 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...
86
Voted
AGENTCL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
115
click to vote
CIKM
1994
Springer
15 years 1 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
94
Voted
DALT
2003
Springer
15 years 2 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...