Coalitions among computationally bounded agents
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Coalition structure generation with worst case guarantees
Artificial Intelligence
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Alternating-time temporal logic
Journal of the ACM (JACM)
Computing Circumscription Revisited: A Reduction Algorithm
Journal of Automated Reasoning
Coalition games and alternating temporal logics
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Marginal contribution nets: a compact representation scheme for coalitional games
Proceedings of the 6th ACM conference on Electronic commerce
On the logic of coalitional games
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Modelling coalitions: ATL + argumentation
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
An improved dynamic programming algorithm for coalition structure generation
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Description logic for coalitions
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the logic of cooperation and propositional control
Artificial Intelligence
Coalition structure generation in multi-agent systems with positive and negative externalities
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Coalitional Planning in Game-like Domains via ATL Model Checking
ICTAI '09 Proceedings of the 2009 21st IEEE International Conference on Tools with Artificial Intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Teamwork in Multi-Agent Systems: A Formal Approach
Teamwork in Multi-Agent Systems: A Formal Approach
Hi-index | 0.00 |
A number of popular logical formalisms for representing and reasoning about the abilities of teams or coalitions of agents have been proposed beginning with the Coalition Logic (CL) of Pauly. Ågotnes et al introduced a means of succinctly expressing quantification over coalitions without compromising the computational complexity of model checking in CL by introducing Quantified Coalition Logic (QCL). QCL introduces a separate logical language for characterizing coalitions in the modal operators used in QCL. Boella et al, increased the representational expressibility of such formalisms by introducing Higher-Order Coalition Logic (HCL), a monadic second-order logic with special set grouping operators. Tractable fragments of HCL suitable for efficient model checking have yet to be identified. In this paper, we relax the monadic restriction used in HCL and restrict ourselves to the diamond operator. We show how formulas using the diamond operator are logically equivalent to second-order formulas. This permits us to isolate and define well-behaved expressive fragments of second-order logic amenable to model-checking in PTime. To do this, we appeal to techniques used in deductive databases and quantifier elimination. In addition, we take advantage of the monotonicity of the effectivity function resulting in exponentially more succinct representation of models. The net result is identification of highly expressible fragments of a generalized HCL where model checking can be done efficiently in PTime.