270 search results - page 15 / 54 » atal 2005 |
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
In the article we present two untraceability protocols for mobile agents. Comparing to other solutions, the advantage of the protocols is that they support agent’s autonomy in c...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
The choice of the offer to propose at a given step in a negotiation dialogue is a strategic matter and depends broadly on the profile of the agent and its mental states. The aim ...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we propose the use of 3D Virtual Worlds for the visualization of Electronic Institutions. We show how 3D representation helps to open Electronic Institutions to huma...