Answers set programs for non-transferable utility games: expressiveness, complexity and applications

DOI10.1016/j.artint.2021.103606zbMath1478.68380OpenAlexW3205195657MaRDI QIDQ2060739

Pierfrancesco Veltri, Gianluigi Greco, Giovanni Amendola

Publication date: 13 December 2021

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

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

zbMATH Keywords

computational complexitygame theoryanswer set programmingcoalitional gamesNTU games

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Cooperative games (91A12) Knowledge representation (68T30) Logic programming (68N17) Utility theory for games (91A30) Agent technology and artificial intelligence (68T42)

Uses Software

• Mathematica
• Matlab
• GameTheoryAllocation
• GameTheory

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
• Semi-equilibrium models for paracoherent answer set programs
• Domain expansion for ASP-programs with external sources
• On abstract modular inference systems and solvers
• Computing desirable partitions in additively separable hedonic games
• Manipulating the quota in weighted voting games
• A core language for fuzzy answer set programming
• Complexity of fuzzy answer set programming under Łukasiewicz semantics
• Computing cooperative solution concepts in coalitional skill games
• Efficient stabilization of cooperative matching games
• On the complexity of core, kernel, and bargaining set
• The stability of hedonic coalition structures
• Reasoning with infinite stable models
• Coalition structure generation: a survey
• The complexity of facets (and some facets of complexity)
• More complicated questions about maxima and minima, and some closures of NP
• Cooperative games with coalition structures
• Metamathematics of fuzzy logic
• Extending and implementing the stable model semantics
• Coalition structure generation with worst case guarantees
• Dynamics in matching and coalition formation games with structural constraints
• Anytime coalition structure generation in multi-agent systems with positive or negative externalities
• NP-completeness in hedonic games
• Logic programs with stable model semantics as a constraint programming paradigm
• Shortest path games
• On the computational complexity of weighted voting games
• Coalitional games induced by matching problems: complexity and islands of tractability for the Shapley value
• Cooperative games with overlapping coalitions: charting the tractability frontier
• Complexity of constructing solutions in the core based on synergies among coalitions
• A comparison of non-transferable utility values
• Bargaining sets of cooperative games without side payments
• The assignment game. I: The core
• Characteristic function games with restricted agent interactions: core-stability and coalition structures
• The Complexity of the Nucleolus in Compact Games
• Abstract answer set solvers with backjumping and learning
• Bribery in Path-Disruption Games
• Minimal Subsidies in Expense Sharing Games
• Von Neumann-Morgenstern solutions to cooperative games without side payments
• A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications
• Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints
• Modularity Aspects of Disjunctive Stable Models
• Hedonic Coalitions: Optimality and Stability
• A Characterization of Weighted Voting
• On the Complexity of Cooperative Solution Concepts
• A note on succinct representations of graphs
• Module theorem for the general theory of stable models
• Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality
• Algorithmic Aspects of the Core of Combinatorial Optimization Games
• A load balancing model based on cloud partitioning for the public cloud
• Hedonic Games with Ordinal Preferences and Thresholds
• The DLV system for knowledge representation and reasoning
• Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings
• The Shapley value of cooperative games under fuzzy settings: a survey
• Matching Games: The Least Core and the Nucleolus
• Finding nucleolus of flow game
• Buying and selling in strategic market games

This page was built for publication: Answers set programs for non-transferable utility games: expressiveness, complexity and applications