Sciweavers

354 search results - page 17 / 71
» KQML As An Agent Communication Language
Sort
View
ATAL
2000
Springer
13 years 12 months ago
Delegation and Responsibility
An agent may decide to delegate tasks to others. The act of delegating a task by one autonomous agent to another can be carried out by the performance of one or more imperative com...
Timothy J. Norman, Chris Reed
CLIMA
2004
13 years 9 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
POPL
2001
ACM
14 years 7 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
CEEMAS
2001
Springer
14 years 1 hour ago
A Programming Language for Coordinating Group Actions
Abstract. Coordination and cooperation are crucial notions in multi-agent systems. We provide a constraint programming language called GrAPL, with facilities for group communicatio...
Wieke de Vries, Frank S. de Boer, Koen V. Hindriks...
AAMAS
2005
Springer
13 years 7 months ago
On the Communication Complexity of Multilateral Trading: Extended Report
We study the complexity of a multilateral negotiation framework where autonomous agents agree on a sequence of deals to exchange sets of discrete resources in order to both further...
Ulle Endriss, Nicolas Maudet