Rational Proofs against Rational Verifiers.

Keita Inasawa Kenji Yasunaga

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2017)

Keyphrases

decision making
information systems
digital images
bounded rationality
multiscale
cooperative
theorem prover