2 search results - page 1 / 1 » Hydra Games and Tree Ordinals |
WOLLIC
2007
Springer
14 years 5 months ago
2007
Springer
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...