Simulating cardinal preferences in Boolean games: A proof technique.

Egor Ianovski Luke Ong

Published in: Inf. Comput. (2018)

Keyphrases

boolean games
game theory
propositional variables
game theoretic
theorem prover
truth values
decision problems
decision theory