8009 search results - page 1521 / 1602 » cans 2005 |
182
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
208
click to vote
ATAL
2005
Springer
15 years 12 months 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...
186
click to vote
ATAL
2005
Springer
15 years 12 months 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 ...
181
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
191
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...