245 search results - page 1 / 49 » Semantic Issues in the Verification of Agent Communication L... |
AAMAS
2000
Springer
13 years 4 months ago
2000
Springer
This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a
ATAL
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. We address the issue of semantics for an agent communication language. In particular, the semantics of Knowledge Query Manipulation Language (KQML) is investigated. KQML ...
ICMAS
1998
13 years 6 months ago
1998
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
CORR
1998
Springer
13 years 4 months ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
CIKM
1994
Springer
13 years 8 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...