Coalition formation in social environments with logic-based agents1
From MaRDI portal
Publication:5145446
DOI10.3233/AIC-180770zbMath1462.68196OpenAlexW2892308430MaRDI QIDQ5145446
Mario Alviano, Antonella Guzzo, Gianluigi Greco
Publication date: 20 January 2021
Published in: AI Communications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/aic-180770
computational complexitypropositional logiccoalition formationsocial environmentspseudo-Boolean solvers
Decision theory (91B06) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Opinion dynamics and learning in social networks
- Compactly representing utility functions using weighted goals and the Max aggregator
- On the computational complexity of qualitative coalitional games
- Reasoning about coalitional games
- Design and results of the Fifth Answer Set Programming Competition
- Methods for task allocation via agent coalition formation
- Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
- A comparison of structural CSP decomposition methods
- Coalition structure generation with worst case guarantees
- Solving coalitional resource games
- Constrained coalition formation on valuation structures: formal framework, applications, and islands of tractability
- Complexity of constructing solutions in the core based on synergies among coalitions
- How bad is forming your own opinion?
- Characteristic function games with restricted agent interactions: core-stability and coalition structures
- On a Logic for Coalitional Games with Priced-Resource Agents
- The Santa Claus problem
- Logic for coalitions with bounded resources
- Social influence and opinions
- Representing Utility Functions via Weighted Goals
- A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications
- Advances in WASP
- Progress in clasp Series 3
- Alternating-time temporal logic
- Logics for Qualitative Coalitional Games
- Tractable Optimization Problems through Hypergraph-Based Structural Restrictions
- Graph minors. II. Algorithmic aspects of tree-width
- Graphs and Cooperation in Games
- On the Complexity of Cooperative Solution Concepts
- A Modal Logic for Coalitional Power in Games
- Persuasion Bias, Social Influence, and Unidimensional Opinions
- Coevolutionary opinion formation games
