Reasoning about coalitional games

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

Wiebe van der Hoek, Michael Wooldridge, 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 logicknowledge representationmulti-agent systemscoalitional games

Mathematics Subject Classification ID

Cooperative games (91A12) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Related Items

Reasoning about coalitional games ⋮ A complete coalition logic of temporal knowledge for multi-agent systems ⋮ From self-regarding to other-regarding agents in strategic games: a logical analysis ⋮ Characteristic function games with restricted agent interactions: core-stability and coalition structures ⋮ Formal modelling and verification of probabilistic resource bounded agents ⋮ Reasoning about dependence, preference and coalitional power ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Unnamed Item ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ A first-order coalition logic for BDI-agents ⋮ On the complexity of core, kernel, and bargaining set ⋮ Coalition formation in social environments with logic-based agents1 ⋮ Quantified Coalition Logic of Knowledge, Belief and Certainty ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Intelligence in Strategic Games ⋮ Logic and games: an introduction ⋮ Knowing-how under uncertainty ⋮ Coalitional games induced by matching problems: complexity and islands of tractability for the Shapley value ⋮ On composition of bounded-recall plans ⋮ Verifying Team Formation Protocols with Probabilistic Model Checking ⋮ Quantified coalition logic ⋮ The Complexity of the Nucleolus in Compact Games ⋮ Łukasiewicz logics for cooperative games ⋮ Knowing the price of success

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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