Sciweavers

2 search results - page 1 / 1
» Community-based individual knowledge construction in the cla...
Sort
View
ATAL
2005
Springer
13 years 10 months ago
On the dynamics of delegation, cooperation, and control: a logical account
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 ...
Wiebe van der Hoek, Michael Wooldridge