2812 search results - page 344 / 563 » Secrecy in Multiagent Systems |
147
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we focus on the problem of finding a periodic allocation strategy for teams of resource-bounded agents. We propose a real-time dynamic algorithm RTDA , that exploi...
175
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Research in the area of Multi-Agent System (MAS) organization has shown that the ability for a MAS to adapt its organizational structure can be beneficial when coping wi...
164
click to vote
DALT
2007
Springer
16 years 22 days ago
2007
Springer
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
143
click to vote
FOSSACS
2007
Springer
16 years 22 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
148
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...