5740 search results - page 221 / 1148 » Dynamic Distributed BackJumping |
ISORC
2003
IEEE
15 years 7 months ago
2003
IEEE
GRID
2003
Springer
15 years 7 months ago
2003
Springer
80
Voted
EUROPAR
2001
Springer
15 years 6 months ago
2001
Springer
131
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...