Introduction to algorithms
Reasoning about knowledge
A language for modeling agents' decision making processes in games
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Complexity of mechanism design
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Logic and game theory for social mechanisms
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A preference processing model for cooperative agents
Journal of Intelligent Information Systems
Specifying and resolving preferences among agent interaction patterns
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A framework for reasoning about rational agents
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Introducing Preferences into Commitment Protocols
Agent Communication II
A Logic for Reasoning about Rational Agents
Computational Logic in Multi-Agent Systems
Reasoning about temporal properties of rational play
Annals of Mathematics and Artificial Intelligence
Rational play and rational beliefs under uncertainty
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Intentions and strategies in game-like scenarios
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Reasoning about game equilibria using temporal logic
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agents in order to realize their own preferences. GLP can be applied to the analysis of social protocols such as voting or fair division problems; we illustrate this use of GLP with a number of worked examples. We then prove that the model checking problem for GLP is tractable, and describe an implemented model checker for the logic 驴 by using the model checker, it is possible to automate the analysis and verification of social protocols.