913 search results - page 35 / 183 » Formal Agent Development: Framework to System |
117
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits...
168
click to vote
NFM
2011
14 years 11 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
138
click to vote
AAAI
2006
15 years 5 months ago
2006
This paper considers a distributed system of software agents who cooperate in helping their users to find services, provided by different agents. The agents need to ensure that th...
166
click to vote
ICANN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
190
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...