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 de-scribe an implemented model checker for the logic – by us-ing the model checker, it is possible to automate the analy-sis and verification of social protocols. 1
Players in a game are assumed to be totally rational and absolutely smart. However, in reality all p...
"The Consistent Preferences Approach to Deductive Reasoning in Games" presents, applies, a...
Through examples this chapter illuminates the features that distinguish the ‘con-sistent preferences...
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how inform...
Abstract. We introduce a logic specifically designed to support reasoning about social choice functi...
Abstract. We present a framework for decision making with circumstance-dependent preferences and dec...
In this paper we present a framework for logic programming agents to take part in games in such a wa...
This article demonstrates that typical restrictions which are imposed in dialogical logic in order t...
The paper studies preferences of agents about other agents in a social network. It proposes a logica...
textabstractGame Logic (GL), introduced in (Parikh, 1985), is examined from a game-theoretic perspec...
A large body of research is currently investigating on the connection between machine learning and g...
Verification of strategic properties is complicated, even for very small protocols. In this work we ...
This paper focuses on the role that social norms play in the selection of equilibrium points seen as...
Well-behaved preferences (e.g., total pre-orders) are a cornerstone of several areas in artificial i...
We advance two main claims. The first is that logics — and in particular, modal strategy logics — ar...
Players in a game are assumed to be totally rational and absolutely smart. However, in reality all p...
"The Consistent Preferences Approach to Deductive Reasoning in Games" presents, applies, a...
Through examples this chapter illuminates the features that distinguish the ‘con-sistent preferences...
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how inform...
Abstract. We introduce a logic specifically designed to support reasoning about social choice functi...
Abstract. We present a framework for decision making with circumstance-dependent preferences and dec...
In this paper we present a framework for logic programming agents to take part in games in such a wa...
This article demonstrates that typical restrictions which are imposed in dialogical logic in order t...
The paper studies preferences of agents about other agents in a social network. It proposes a logica...
textabstractGame Logic (GL), introduced in (Parikh, 1985), is examined from a game-theoretic perspec...
A large body of research is currently investigating on the connection between machine learning and g...
Verification of strategic properties is complicated, even for very small protocols. In this work we ...
This paper focuses on the role that social norms play in the selection of equilibrium points seen as...
Well-behaved preferences (e.g., total pre-orders) are a cornerstone of several areas in artificial i...
We advance two main claims. The first is that logics — and in particular, modal strategy logics — ar...
Players in a game are assumed to be totally rational and absolutely smart. However, in reality all p...
"The Consistent Preferences Approach to Deductive Reasoning in Games" presents, applies, a...
Through examples this chapter illuminates the features that distinguish the ‘con-sistent preferences...