Sciweavers

CEEMAS
2001
Springer
13 years 8 months ago
A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour
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...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...
CEEMAS
2001
Springer
13 years 8 months ago
Motivational Attitudes of Agents: On Desires, Obligations, and Norms
Frank Dignum, David Kinny, Liz Sonenberg
CEEMAS
2001
Springer
13 years 8 months ago
Messages, Clocks, and Gravitation
Antoni W. Mazurkiewicz, Dobieslaw Wróblewsk...
CEEMAS
2001
Springer
13 years 8 months ago
Multi-agent System for Flexible Manufacturing Systems Management
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...
Krzysztof Cetnarowicz, Jaroslaw Kozlak
CEEMAS
2001
Springer
13 years 8 months ago
Towards Requirements Analysis for Autonomous Agent Behaviour
Sorabain Wolfheart de Lioncourt, Michael Luck
CEEMAS
2001
Springer
13 years 8 months ago
Mobie: Personalized Automated Recharge of Prepaid Mobile Phones
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...
J. Burgett, S. Hussain, Catholijn M. Jonker, A. Ra...
CEEMAS
2001
Springer
13 years 8 months ago
Rascal - A Resource Manager for Multi Agent Systems in Smart Spaces
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...
Krzysztof Gajos
CEEMAS
2001
Springer
13 years 8 months ago
On BAN Logics for Industrial Security Protocols
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...
Nesria Agray, Wiebe van der Hoek, Erik P. de Vink
ATAL
2001
Springer
13 years 8 months ago
Commitment Machines
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...
Pinar Yolum, Munindar P. Singh
ATAL
2001
Springer
13 years 8 months ago
Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems
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,...
Thomas Wagner, Victor R. Lesser