@proceedings{DBLP:conf/ecai/2010,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ECAI},
  editor = {Helder Coelho and Rudi Studer and Michael Wooldridge},
  ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17702},
  isbn = {978-1-60750-605-8},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  title = {ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings},
  volume = {215},
  year = {2010}
}
@inproceedings{DBLP:conf/ecai/BoellaGGT10,
  abstract = {We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ ex- pressing that the coalition of all agents satisfying ψ(x) can achieve a state in which φ holds. We use neighborhood semantics to model ex- tensive games of perfect information with simultaneous actions and we provide a framework reasoning about agents in the same way as it is reasoning about their abilities. We illustrate higher-order coalition logic to represent and reason about coalition formation and cooper- ation, we show a more general and expressive way to quantify over coalitions than quantified coalition logic, we give an axiomatization and prove completeness.},
  author = {Guido Boella and Dov M. Gabbay and Valerio Genovese and Leendert van der Torre},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ECAI},
  crossref = {DBLP:conf/ecai/2010},
  date-modified = {2011-09-25 17:53:28 +0200},
  ee = {http://dx.doi.org/10.3233/978-1-60750-606-5-555},
  url = {http://dx.doi.org/10.3233/978-1-60750-606-5-555},
  pages = {555-560},
  title = {Higher-Order Coalition Logic},
  year = {2010}
}