Add to ORKGWe 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
Through examples this chapter illuminates the features that distinguish the ‘con-sistent preferences...
In both individual and collective decision making, the space of alternatives from which the agent (o...
In descriptive decision and game theory, one specifies a model of a situation faced by agents and us...
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how inform...
Abstract. We present a framework for decision making with circumstance-dependent preferences and dec...
A large body of research is currently investigating on the connection between machine learning and g...
In this paper we present a framework for logic programming agents to take part in games in such a wa...
Abstract. We introduce a logic specifically designed to support reasoning about social choice functi...
The paper studies preferences of agents about other agents in a social network. It proposes a logica...
Well-behaved preferences (e.g., total pre-orders) are a cornerstone of several areas in artificial i...
Verification of strategic properties is complicated, even for very small protocols. In this work we ...
Recently, much attention has been devoted to discrete preference games to model the formation of opi...
Neoclassical noncooperative game theory is based on a simple, yet powerful synthesis of mathematical...
Well-behaved preferences (e.g., total pre-orders) are a cornerstone of several areas in artificial i...
This paper focuses on the role that social norms play in the selection of equilibrium points seen as...
Through examples this chapter illuminates the features that distinguish the ‘con-sistent preferences...
In both individual and collective decision making, the space of alternatives from which the agent (o...
In descriptive decision and game theory, one specifies a model of a situation faced by agents and us...
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how inform...
Abstract. We present a framework for decision making with circumstance-dependent preferences and dec...
A large body of research is currently investigating on the connection between machine learning and g...
In this paper we present a framework for logic programming agents to take part in games in such a wa...
Abstract. We introduce a logic specifically designed to support reasoning about social choice functi...
The paper studies preferences of agents about other agents in a social network. It proposes a logica...
Well-behaved preferences (e.g., total pre-orders) are a cornerstone of several areas in artificial i...
Verification of strategic properties is complicated, even for very small protocols. In this work we ...
Recently, much attention has been devoted to discrete preference games to model the formation of opi...
Neoclassical noncooperative game theory is based on a simple, yet powerful synthesis of mathematical...
Well-behaved preferences (e.g., total pre-orders) are a cornerstone of several areas in artificial i...
This paper focuses on the role that social norms play in the selection of equilibrium points seen as...
Through examples this chapter illuminates the features that distinguish the ‘con-sistent preferences...
In both individual and collective decision making, the space of alternatives from which the agent (o...
In descriptive decision and game theory, one specifies a model of a situation faced by agents and us...