CEEMAS
2001
Springer
14 years 4 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
CEEMAS
2001
Springer
14 years 4 months ago
2001
Springer
CEEMAS
2001
Springer
14 years 4 months ago
2001
Springer
CEEMAS
2001
Springer
14 years 4 months ago
2001
Springer
The paper focuses on the application of a multi-agent system for a management process. The presented system is working on the structure of graph, where nodes represent decision mod...
CEEMAS
2001
Springer
14 years 4 months ago
2001
Springer
CEEMAS
2001
Springer
14 years 4 months ago
2001
Springer
Abstract. Prepay usage as a percentage of overall mobile phone access has increased sharply over the past several years. However, the recharging process is still largely manual wit...
CEEMAS
2001
Springer
14 years 4 months ago
2001
Springer
Multi Agent Systems (MAS) are often used as a software substrate in creating smart spaces. Many of the solutions already developed within the MAS community are applicable in the do...
CEEMAS
2001
Springer
14 years 4 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
ATAL
2001
Springer
14 years 4 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
ATAL
2001
Springer
14 years 4 months ago
2001
Springer
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...