Core Non-emptiness Checking in Hedonic Games via Difference Logic.

Helena Keinänen

Published in: KES-AMSTA (1) (2010)

Keyphrases

coalitional games
hedonic games
coalition formation
conp complete
solution concepts
np complete
modal logic
additively separable
stochastic local search algorithms
coalition structures
autonomous agents
conjunctive queries
data exchange
multiagent systems
data management
search space
cooperative
multi agent