2 search results - page 1 / 1 » Pushing the Envelope: General Game Players Prove Theorems |
AUSAI
2010
Springer
13 years 3 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
COCO
1994
Springer
13 years 9 months ago
1994
Springer
A probabilistically checkable debate system (PCDS) for a language L consists of a probabilisticpolynomial-time veri er V and a debate between Player 1, who claims that the input x ...