Control and delegation

Authors:
Wiebe van der Hoek
Affiliations:
University of Liverpool, United Kingdom
Venue:
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Year:
2011

Citing 4
Cited 0

Alternating-time Temporal Logic

FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
On the logic of cooperation and propositional control

Artificial Intelligence
Reasoning about the transfer of control

Journal of Artificial Intelligence Research
Knowledge and control

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

The context of the talk is an interest and a need to reason about issues related to cooperation in multi-agent systems, where, given the notion of a coalition (that is, a group of agents), questions arise regarding the coalitional power (what can the coalition achieve?), coalition formation (which coalitions will form?) and the result of cooperation (how will the coalition act?). Coalition Logics provide a tool to analyse some of those questions. They took off with two important developments, namely with Pauly's formulation of Coalition Logic CL [2], and the work on Alternating-time Temporal Logic (ATL) by Alur, Henzinger and Kupferman [1].