23119 search results - page 4386 / 4624 » From Domain to Requirements |
185
Voted
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
195
click to vote
ATAL
2005
Springer
16 years 6 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 ...
212
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...
247
Voted
AVBPA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Ensuring the security of medical records is becoming an increasingly important problem as modern technology is integrated into existing medical services. As a consequence...
348
click to vote
CASSIS
2005
Springer
16 years 6 days ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...