170
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
155
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
This paper deals with a new approach to build a completely distributed and decentralized Intrusion Detection and Response System (IDRS) in computer networks. This approach is call...
147
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multiagent system...
148
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...