Inconsistency in possibilistic knowledge bases: to live with it or not live with it
Fuzzy logic for the management of uncertainty
Multi-agent dependence by dependence graphs
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Graphical Models for Game Theory
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
On the computational complexity of qualitative coalitional games
Artificial Intelligence
Admissible Agreements among Goal-directed Agents
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
From social power to social importance
Web Intelligence and Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Variable forgetting in preference relations over propositional domains
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Pure Nash equilibria: hard and easy games
Journal of Artificial Intelligence Research
Inconsistency management and prioritized syntax-based entailment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Compact preference representation for boolean games
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Reasoning with conditional ceteris paribus preference statements
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Dependency in Cooperative Boolean Games
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
| Hi-index | 0.00 |
Boolean games are a logical setting for representing static games in a succinct way, taking advantage of the expressive power and conciseness of propositional logic. A Boolean game consists of a set of players, each of them controls a set of propositional variables and has a specific goal expressed by a propositional formula. There is a lot of graphical structures hidden in a Boolean game: the satisfaction of each player's goal depends on players whose actions have an influence on these goals. Even if these dependencies are not specific to Boolean games, in this particular setting they give a way of finding simple characterizations of Nash equilibria and computing them.