Young's axiomatization of the Shapley value: a new proof.

Miklós Pintér

Published in: Ann. Oper. Res. (2015)

Keyphrases

complete axiomatization
game theory
game theoretic
situation calculus
databases
cooperative
theorem proving
theorem prover
decision problems
geometry theorem proving
database
young adults
inclusion dependencies
expert systems
learning environment
learning algorithm
real world
neural network
real time