Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas. Tractable model checking for fragments of higher-order coalition logic. In Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, editors, 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3. pages 743-750, IFAAMAS, 2011. [doi]
@inproceedings{DohertyDS11,
title = {Tractable model checking for fragments of higher-order coalition logic},
author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas},
year = {2011},
url = {http://portal.acm.org/citation.cfm?id=2031723&CFID=54178199&CFTOKEN=61392764},
researchr = {https://researchr.org/publication/DohertyDS11},
cites = {0},
citedby = {0},
pages = {743-750},
booktitle = {10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
editor = {Liz Sonenberg and Peter Stone and Kagan Tumer and Pinar Yolum},
publisher = {IFAAMAS},
isbn = {978-0-9826571-5-7},
}