Information Value of Two-Prover Games.

Mark Braverman Young Kun-Ko

Published in: ITCS (2018)

Keyphrases

information sources
keywords
prior knowledge
domain knowledge
information sharing
structural information
real time
databases
end users
spatial information
theorem prover