Reasoning about coalitional games

DOI10.1016/j.artint.2008.08.004zbMath1180.68271MaRDI QIDQ834401

Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes

Publication date: 20 August 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2008.08.004

zbMATH Keywords

modal logic; knowledge representation; multi-agent systems; coalitional games

Mathematics Subject Classification ID

91A12: Cooperative games

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T42: Agent technology and artificial intelligence

Related Items

On the complexity of core, kernel, and bargaining set, Reasoning about coalitional games, Quantified coalition logic, Logic and games: an introduction, From self-regarding to other-regarding agents in strategic games: a logical analysis, Verifying Team Formation Protocols with Probabilistic Model Checking

Cites Work

• On the computational complexity of qualitative coalitional games
• Reasoning about coalitional games
• Methods for task allocation via agent coalition formation
• Generalized quantifiers and modal logic
• On the computational complexity of weighted voting games
• All I know: A study in autoepistemic logic
• On the computational complexity of coalitional resource games
• Complexity of constructing solutions in the core based on synergies among coalitions
• Alternating-time temporal logic
• A New Solution Concept for Coalitional Games in Open Anonymous Environments
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• On the Complexity of Cooperative Solution Concepts
• A Modal Logic for Coalitional Power in Games
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item