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
Knowledge and information distribution leveraged by intelligent agents
Knowledge and Information Systems
A framework for reasoning about rational agents
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Computing Arguments and Attacks in Assumption-Based Argumentation
IEEE Intelligent Systems
Preference-based argumentation: Arguments supporting multiple values
International Journal of Approximate Reasoning
Modelling coalitions: ATL + argumentation
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
On the Acceptability of Incompatible Arguments
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Reasoning about temporal properties of rational play
Annals of Mathematics and Artificial Intelligence
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
Practical strategic reasoning and adaptation in rational argument-based negotiation
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
An argumentation-based model for reasoning about coalition structures
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
During the last decade argumentation has evolved as a successful approach to formalize commonsense reasoning and decision making in multiagent systems. In particular, recent research has shown that argumentation can be used to provide a framework for reasoning about coalition formation , formalizing the adoption of coalitions by the agents in association with different argumentation semantics. At the same time Alternating-time Temporal Logic (atl for short) has been successfully used to reason about the behavior and abilities of coalitions of agents. However, an important limitation of atl operators is that they account only for the existence of successful strategies of coalitions, not considering whether coalitions can be actually formed. This paper is an attempt to combine both frameworks in order to develop a logical system through which we can reason at the same time (1) about abilities of coalitions of agents and (2) about the formation of coalitions. In order to achieve this, we provide a formal extension of atl , called Coalitional atl (coalATL for short), in which the actual computation of the coalition is modelled in terms of argumentation semantics. Moreover, we integrate goals as agents' incentive to join coalitions. We show that coalATL 's proof theory can be understood as a natural extension of the model checking procedure used in atl .