{"type":"ScholarlyArticle","title":"Quantified Coalition Logic","authors":[{"name":"Thomas Ågotnes","slug":"thomas-agotnes","given":"Thomas","family":"Ågotnes","affiliation":""},{"name":"Wiebe van der Hoek","slug":"wiebe-van-der-hoek","given":"Wiebe","family":"van der Hoek","affiliation":""},{"name":"Michael J. Wooldridge","slug":"michael-j-wooldridge","given":"Michael J.","family":"Wooldridge","affiliation":""}],"abstract":"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 of Quantified Coalition Logic (QCL) allow us to express properties as there exists a coalition C satisfying property P such that C can achieve Phi. We give an axiomatization of QCL, and show that while it is no more expressive than Coalition Logic, it is exponentially more succinct. The time complexity of QCL model checking for symbolic and explicit state representations is shown to be no worse than that of Coalition Logic. We illustrate the formalism by showing how to succinctly specify such social choice mechanisms as majority voting, which in Coalition Logic require specifications that are exponentially long in the number of agents.","doi":null,"url":"https://ijcai.org/proceedings/2007/191","pdf":"https://ijcai.org/proceedings/2007/0191.pdf","markdown":"https://ijcai.org/proceedings/2007/191.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/191","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":191,"pages":{"first":1181,"last":1185},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}