Sciweavers

92
Voted
SYNTHESE
2008
114views more  SYNTHESE 2008»
15 years 28 days ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...