Model checking
ACM Computing Surveys (CSUR)
Alternating-time temporal logic
Journal of the ACM (JACM)
An Approach to Coalition Formation Using Argumentation-Based Negotiation in Multi-agent Systems
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Two party immediate response disputes: properties and efficiency
Artificial Intelligence
Argumentation-based dialogues for deliberation
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Towards a formal model for task allocation via coalition formation
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
An argumentation based approach for practical reasoning
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Managing social influences through argumentation-based negotiation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
An argumentation based approach for practical reasoning
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A framework for reasoning about rational agents
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
On the benefits of exploiting underlying goals in argument-based negotiation
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
An argumentation-based model for reasoning about coalition structures
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Social Viewpoints for Arguing about Coalitions
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
An Argumentative Approach for Modelling Coalitions Using ATL
Argumentation in Multi-Agent Systems
Finding partitions of arguments with Dung's properties via SCSPs
Proceedings of the 2011 ACM Symposium on Applied Computing
Tractable model checking for fragments of higher-order coalition logic
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Argue to agree: A case-based argumentation approach
International Journal of Approximate Reasoning
Representing synergy among arguments with choquet integral
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Argumentation theoretic foundations for abstract dependence networks
AT'13 Proceedings of the Second international conference on Agreement Technologies
| Hi-index | 0.00 |
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning about coalition formation. At the same time alternating-time temporal logic has been used to reason about the behavior and abilities of coalitions of agents. However, ATL operators account only for the existence of successful strategies of coalitions. They do not consider whether coalitions can be actually formed. This paper is an attempt to combine both frameworks and to develop a logic through which we can reason at the same time (1) about abilities of coalitions of agents and (2) about the formation of coalitions. We provide a formal extension of ATL, ATLc, in which the actual computation of the coalition is modelled in terms of argumentation semantics. We show that ATLc's proof theory can be understood as a natural extension of the model checking procedure used in ATL.