23413 search results - page 4413 / 4683 » or 2005 |
235
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
221
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
183
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
208
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
Robust sequence prediction is an essential component of an intelligent agent acting in a dynamic world. We consider the case of near-future event prediction by an online learning ...
189
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...