2979 search results - page 57 / 596 » Modelling secure multiagent systems |
168
click to vote
FAABS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
141
click to vote
AI
1999
Springer
15 years 1 months ago
1999
Springer
Cooperation among autonomous agents has been discussed in the DAI community for several years. Papers about cooperation 6,45 , negotiation 33 , distributed planning 5 , and coalit...
105
click to vote
AUSAI
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
126
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...
117
click to vote
ESOA
2006
15 years 5 months ago
2006
Holonic Multi-Agent Systems (HMAS) are a convenient way to engineer complex and open systems. In such systems, agents have to be able to self-organize to satisfy their goals. Our w...